changeset 70675 | efd995488228 |
parent 69422 | 472af2d7835d |
child 70678 | 36c8c32346cb |
--- a/src/Doc/ROOT Sun Sep 08 13:07:03 2019 +0200 +++ b/src/Doc/ROOT Sun Sep 08 16:49:05 2019 +0200 @@ -404,6 +404,8 @@ "root.tex" session Tutorial (doc) in "Tutorial" = HOL + + directories "Advanced" "CTL" "CodeGen" "Datatype" "Documents" "Fun" "Ifexpr" + "Inductive" "Misc" "Protocol" "Rules" "Sets" "ToyList" "Trie" "Types" options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false] theories [threads = 1] "ToyList/ToyList_Test"