equal
deleted
inserted
replaced
5 components, and the parser setup for old-style theory files. |
5 components, and the parser setup for old-style theory files. |
6 |
6 |
7 ThyLoad (theory loader primitives, including load path) |
7 ThyLoad (theory loader primitives, including load path) |
8 ThyInfo (theory loader main) |
8 ThyInfo (theory loader main) |
9 HTML (HTML presentation primitives) |
9 HTML (HTML presentation primitives) |
|
10 Latex (simple LaTeX presentation primitives) |
|
11 Present (theory browser info presentation) |
10 ThmDatabase (user-level access to the theorem database) |
12 ThmDatabase (user-level access to the theorem database) |