src/Pure/Thy/present.ML
2000-07-23 wenzelm 2000-07-23 removed all_sessions.graph; improved graph 'directories'; tuned;
2000-06-25 wenzelm 2000-06-25 adapted to improved presentation; no longer mirror items from structure Latex;
2000-06-07 berghofe 2000-06-07 Reorganized graph stuff.
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-04-03 wenzelm 2000-04-03 support markup environments;
2000-04-01 wenzelm 2000-04-01 isatool document: check output file (workaround PolyML problem with RC);
2000-03-17 wenzelm 2000-03-17 old_symbol_source: include header;
2000-02-09 wenzelm 2000-02-09 document -c;
2000-02-05 wenzelm 2000-02-05 additional tex dump;
2000-02-04 wenzelm 2000-02-04 added old_symbol_source; tuned;
2000-01-05 wenzelm 2000-01-05 chapter;
1999-10-13 wenzelm 1999-10-13 system;
1999-10-08 wenzelm 1999-10-08 isatool_document;
1999-10-07 wenzelm 1999-10-07 verbatim markup tokens;
1999-10-07 wenzelm 1999-10-07 tex_source: Buffer.write;
1999-10-07 berghofe 1999-10-07 Exported function get_info.
1999-10-06 wenzelm 1999-10-06 Latex.token;
1999-10-06 wenzelm 1999-10-06 accomodate markup commands;
1999-10-05 wenzelm 1999-10-05 include browser_info stuff; tex source presentation;
1999-10-03 wenzelm 1999-10-03 improved theory_source presentation (hook);
1999-03-09 wenzelm 1999-03-09 still fake, passes BrowserInfo;
1999-02-11 wenzelm 1999-02-11 init, finish;
1999-02-03 wenzelm 1999-02-03 Theory presentation (fake implementation);