External printer
This is a proof of concept of the printing/parsing of adding external elements to the standard printing/parsing. We use the example of the Python plugin to show how it works:
- the tasks should contain new notations (example python: /\ replaced by "and")
- the new notations can be used in the transformations (example python: "assert (0 == 0 and b > 1)"
The file format contained in the session is used to decide which parser/printer to use. For example, a goal whose ancestor is a python file (according to the session) will be printed with the Python external printer (and parser).