equal
deleted
inserted
replaced
368 "underscore.sty" |
368 "underscore.sty" |
369 "manual.bib" |
369 "manual.bib" |
370 document_files (in "../Isar_Ref/document") |
370 document_files (in "../Isar_Ref/document") |
371 "style.sty" |
371 "style.sty" |
372 document_files |
372 document_files |
373 "browser_screenshot.png" |
|
374 "build" |
373 "build" |
375 "root.tex" |
374 "root.tex" |
376 |
375 |
377 session Tutorial (doc) in "Tutorial" = HOL + |
376 session Tutorial (doc) in "Tutorial" = HOL + |
378 options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false] |
377 options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false] |