-
Sylvain Dailler authored
Formerly, projections were queried based on their name after parsing of the model. The printed projections are now collected during printing of the smtv task. They are given in printer_mapping together with queried terms to the parser for models.
d9349898