equal
deleted
inserted
replaced
59 |
59 |
60 * isatool usedir -D now lets isatool latex -o sty update the Isabelle |
60 * isatool usedir -D now lets isatool latex -o sty update the Isabelle |
61 style files, achieving self-contained LaTeX sources; |
61 style files, achieving self-contained LaTeX sources; |
62 |
62 |
63 * old-style theories now produce (crude) LaTeX output as well; |
63 * old-style theories now produce (crude) LaTeX output as well; |
|
64 |
|
65 * browser info session directories are now self-contained (may be put |
|
66 on WWW server seperately); |
64 |
67 |
65 |
68 |
66 *** Isar *** |
69 *** Isar *** |
67 |
70 |
68 * Pure: local results and corresponding term bindings are now subject |
71 * Pure: local results and corresponding term bindings are now subject |