src/Pure/Thy/html.ML
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-02-04 wenzelm 2000-02-04 tuned;
2000-01-05 wenzelm 2000-01-05 chapter;
1999-10-11 wenzelm 1999-10-11 files: separate by " ";
1999-10-05 wenzelm 1999-10-05 begin_index: document; verbatim_source;
1999-09-29 wenzelm 1999-09-29 more sections;
1999-09-22 wenzelm 1999-09-22 present results;
1999-09-01 wenzelm 1999-09-01 added theorems; begin_theory: implicit files;
1999-06-01 wenzelm 1999-06-01 tuned markup;
1999-05-17 berghofe 1999-05-17 Reimplemented graph generator.
1999-03-19 wenzelm 1999-03-19 tuned;
1999-03-17 wenzelm 1999-03-17 tuned;
1999-03-12 wenzelm 1999-03-12 theory: include parent links;
1999-03-11 wenzelm 1999-03-11 tuned;
1999-03-10 wenzelm 1999-03-10 output: some symbol translations; removed insert_here, conclude_theory; added begin/end_index, theory_entry, session_entries;
1999-03-09 wenzelm 1999-03-09 HTML markup elements.