equal
deleted
inserted
replaced
101 options [browser_info = false, document = false, |
101 options [browser_info = false, document = false, |
102 document_dump = document, document_dump_mode = "tex", |
102 document_dump = document, document_dump_mode = "tex", |
103 quick_and_dirty] |
103 quick_and_dirty] |
104 theories ZF_Specific |
104 theories ZF_Specific |
105 |
105 |
106 session LaTeXsugar (doc) in "LaTeXsugar/Sugar" = HOL + |
106 session LaTeXsugar (doc) in "LaTeXsugar" = HOL + |
107 options [browser_info = false, document = false, |
107 options [document_variants = "sugar"] |
108 document_dump = document, document_dump_mode = "tex"] |
108 theories [document = ""] |
109 theories [document_dump = ""] |
|
110 "~~/src/HOL/Library/LaTeXsugar" |
109 "~~/src/HOL/Library/LaTeXsugar" |
111 "~~/src/HOL/Library/OptionalSugar" |
110 "~~/src/HOL/Library/OptionalSugar" |
112 theories Sugar |
111 theories Sugar |
|
112 files |
|
113 "document/build" |
|
114 "document/mathpartir.sty" |
|
115 "document/root.bib" |
|
116 "document/root.tex" |
113 |
117 |
114 session Locales (doc) in "Locales" = HOL + |
118 session Locales (doc) in "Locales" = HOL + |
115 options [document_variants = "locales"] |
119 options [document_variants = "locales"] |
116 theories |
120 theories |
117 Examples1 |
121 Examples1 |