Octav Chipara schrieb: > In lib/FrontEnd there is quite a bit of code for printing the AST to > XML. Does that work and if so how can you invoke it? -ast-print-xml is the option to invoke xml export. Leave me a note if it's not working properly. Best Olaf