Too many printers
There are too many printers for the moment.
For example: Printing a theory using IDPPrinter or ToString is supposed to have the same effect. (this is very confusing if you want to find out why something isn't printed)
Comments (18)
-
reporter -
reporter - edited description
-
- removed milestone
Removing milestone: Later (automated comment)
-
- changed status to resolved
Fixes
#182: Theory printing goes through printer.→ <<cset 9dd040a5b377>>
-
reporter printing of vocabularies now goes through printer
see issue
#182and commit 9dd040a→ <<cset daab3e624b40>>
-
reporter printing of vocabularies now goes through printer
see issue
#182and commit 9dd040a→ <<cset 98c286d4ca2f>>
-
Fixes
#182: Theory printing goes through printer.→ <<cset 1f9d04e94760>>
-
reporter Fixes
#182: Theory printing goes through printer.→ <<cset 2896fb4c2997>>
-
reporter printing of vocabularies now goes through printer
see issue
#182and commit 9dd040a→ <<cset e1cb927f4d22>>
-
Fixes
#182: Theory printing goes through printer.→ <<cset bb6c4c96fe76>>
-
reporter Fixes
#182: Theory printing goes through printer.→ <<cset 6382c0d296c9>>
-
Fixes
#182: Theory printing goes through printer.→ <<cset bb6c4c96fe76>>
-
Fixes
#182: Theory printing goes through printer.→ <<cset 6382c0d296c9>>
-
Fixes
#182: Theory printing goes through printer.→ <<cset cf02d75b4913>>
-
Fixes
#182: Theory printing goes through printer.→ <<cset 35d068c13b13>>
-
Fixes
#182: Theory printing goes through printer.→ <<cset 997faf975da3>>
-
reporter Fixes
#182: Theory printing goes through printer.→ <<cset 2e15f59c79b8>>
-
reporter printing of vocabularies now goes through printer
see issue
#182and commit 9dd040a→ <<cset 5e7e80f295cc>>
- Log in to comment
The solution here is: toString(theory) should call the IDPprinter