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