# HG changeset patch
# User wenzelm
# Date 1399032923 -7200
# Node ID 8872e0776e97b87f9a2590be7a58371d3ae36616
# Parent  5ae68f53b7c2dd8c680fb07e852ff962b4630ee2
more standard doc session specification;

diff -r 5ae68f53b7c2 -r 8872e0776e97 src/Doc/How_to_Prove_it/ROOT
--- a/src/Doc/How_to_Prove_it/ROOT	Fri May 02 13:57:57 2014 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-session How_to_Prove_it = HOL +
-  options [document = pdf, show_question_marks = false]
-  theories
-    How_to_Prove_it
-  document_files
-    "root.tex"
-    "root.bib"
-    "prelude.tex"
-
diff -r 5ae68f53b7c2 -r 8872e0776e97 src/Doc/ROOT
--- a/src/Doc/ROOT	Fri May 02 13:57:57 2014 +0200
+++ b/src/Doc/ROOT	Fri May 02 14:15:23 2014 +0200
@@ -73,6 +73,15 @@
     "root.tex"
     "style.sty"
 
+session How_to_Prove_it (doc) in "How_to_Prove_it" = HOL +
+  options [document_variants = "how_to_prove_it", show_question_marks = false]
+  theories
+    How_to_Prove_it
+  document_files
+    "root.tex"
+    "root.bib"
+    "prelude.tex"
+
 session Intro (doc) in "Intro" = Pure +
   options [document_variants = "intro"]
   theories