changeset 7720 | b92bbfda8de5 |
parent 7484 | 9deae880cf74 |
--- a/src/Pure/Thy/README Tue Oct 05 15:30:58 1999 +0200 +++ b/src/Pure/Thy/README Tue Oct 05 15:31:39 1999 +0200 @@ -7,4 +7,6 @@ ThyLoad (theory loader primitives, including load path) ThyInfo (theory loader main) HTML (HTML presentation primitives) + Latex (simple LaTeX presentation primitives) + Present (theory browser info presentation) ThmDatabase (user-level access to the theorem database)