equal
deleted
inserted
replaced
282 "document/build" |
282 "document/build" |
283 "document/root.tex" |
283 "document/root.tex" |
284 |
284 |
285 session Tutorial (doc) in "Tutorial" = HOL + |
285 session Tutorial (doc) in "Tutorial" = HOL + |
286 options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false] |
286 options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false] |
|
287 theories [threads = 1] |
|
288 "ToyList/ToyList_Test" |
287 theories [thy_output_indent = 5] |
289 theories [thy_output_indent = 5] |
288 "ToyList/ToyList" |
290 "ToyList/ToyList" |
289 "Ifexpr/Ifexpr" |
291 "Ifexpr/Ifexpr" |
290 "CodeGen/CodeGen" |
292 "CodeGen/CodeGen" |
291 "Trie/Trie" |
293 "Trie/Trie" |