equal
deleted
inserted
replaced
102 MyList |
102 MyList |
103 Types_and_funs |
103 Types_and_funs |
104 Logic |
104 Logic |
105 Isar |
105 Isar |
106 |
106 |
107 session System (doc) in "System/Thy" = Pure + |
107 session System (doc) in "System" = Pure + |
108 options [browser_info = false, document = false, |
108 options [document_variants = "system", thy_output_source] |
109 document_dump = document, document_dump_mode = "tex"] |
|
110 theories |
109 theories |
111 Basics |
110 Basics |
112 Interfaces |
111 Interfaces |
113 Sessions |
112 Sessions |
114 Presentation |
113 Presentation |
115 Scala |
114 Scala |
116 Misc |
115 Misc |
|
116 files |
|
117 "../IsarRef/style.sty" |
|
118 "../iman.sty" |
|
119 "../extra.sty" |
|
120 "../ttbox.sty" |
|
121 "../isar.sty" |
|
122 "../underscore.sty" |
|
123 "../manual.bib" |
|
124 "document/browser_screenshot.eps" |
|
125 "document/browser_screenshot.png" |
|
126 "document/build" |
|
127 "document/root.tex" |
117 |
128 |
118 session Tutorial (doc) in "TutorialI" = HOL + |
129 session Tutorial (doc) in "TutorialI" = HOL + |
119 options [browser_info = false, document = false, |
130 options [browser_info = false, document = false, |
120 document_dump = document, document_dump_mode = "tex", |
131 document_dump = document, document_dump_mode = "tex", |
121 print_mode = "brackets"] |
132 print_mode = "brackets"] |