src/Pure/Thy/present.ML
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);