Congratulation to Jacques on quickly passing the 600 mark. His time from 500 to 600 was impressively short. Just a brief note on stuff I've worked on over the weekend. A pretzel-based prettyprinter for Maple is working reasonably well. It inputs Maple source code and returns LaTeX macros. The prettyprinter handles line breaks, indentation, and uses user-configurable LaTeX macros to typeset keywords and operators. Currently I've gone overboard substituting symbols for operators, for example, instead of "A union B" it outputs "A \cup B"; that will be configurable. Haven't figured out how to best deal with comments; currently I'm stripping them.

Please Wait...