src/Pure/Thy/html.ML
1999-09-22 ago present results;
1999-09-01 ago added theorems;
1999-06-01 ago tuned markup;
1999-05-17 ago Reimplemented graph generator.
1999-03-19 ago tuned;
1999-03-17 ago tuned;
1999-03-12 ago theory: include parent links;
1999-03-11 ago tuned;
1999-03-10 ago output: some symbol translations;
1999-03-09 ago HTML markup elements.