src/Doc/ROOT
changeset 53376 1d4a46f1fced
parent 52822 ae938ac9a721
child 53542 14000a283ce0
     1.1 --- a/src/Doc/ROOT	Tue Sep 03 11:29:01 2013 +0200
     1.2 +++ b/src/Doc/ROOT	Tue Sep 03 11:55:59 2013 +0200
     1.3 @@ -284,6 +284,8 @@
     1.4  
     1.5  session Tutorial (doc) in "Tutorial" = HOL +
     1.6    options [document_variants = "tutorial", print_mode = "brackets", skip_proofs = false]
     1.7 +  theories [threads = 1]
     1.8 +    "ToyList/ToyList_Test"
     1.9    theories [thy_output_indent = 5]
    1.10      "ToyList/ToyList"
    1.11      "Ifexpr/Ifexpr"