equal
deleted
inserted
replaced
210 document_files |
210 document_files |
211 "build" |
211 "build" |
212 "isar-vm.pdf" |
212 "isar-vm.pdf" |
213 "isar-vm.svg" |
213 "isar-vm.svg" |
214 "root.tex" |
214 "root.tex" |
215 "showsymbols" |
|
216 "style.sty" |
215 "style.sty" |
217 |
216 |
218 session JEdit (doc) in "JEdit" = HOL + |
217 session JEdit (doc) in "JEdit" = HOL + |
219 options [document_logo = "jEdit", document_build = "build", |
218 options [document_logo = "jEdit", document_build = "build", |
220 document_variants = "jedit", thy_output_source] |
219 document_variants = "jedit", thy_output_source] |