more standard doc session specification;
authorwenzelm
Fri May 02 14:15:23 2014 +0200 (2014-05-02)
changeset 568258872e0776e97
parent 56824 5ae68f53b7c2
child 56826 ba18bd41e510
child 56827 853f1bcc3755
more standard doc session specification;
src/Doc/How_to_Prove_it/ROOT
src/Doc/ROOT
     1.1 --- a/src/Doc/How_to_Prove_it/ROOT	Fri May 02 13:57:57 2014 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,9 +0,0 @@
     1.4 -session How_to_Prove_it = HOL +
     1.5 -  options [document = pdf, show_question_marks = false]
     1.6 -  theories
     1.7 -    How_to_Prove_it
     1.8 -  document_files
     1.9 -    "root.tex"
    1.10 -    "root.bib"
    1.11 -    "prelude.tex"
    1.12 -
     2.1 --- a/src/Doc/ROOT	Fri May 02 13:57:57 2014 +0200
     2.2 +++ b/src/Doc/ROOT	Fri May 02 14:15:23 2014 +0200
     2.3 @@ -73,6 +73,15 @@
     2.4      "root.tex"
     2.5      "style.sty"
     2.6  
     2.7 +session How_to_Prove_it (doc) in "How_to_Prove_it" = HOL +
     2.8 +  options [document_variants = "how_to_prove_it", show_question_marks = false]
     2.9 +  theories
    2.10 +    How_to_Prove_it
    2.11 +  document_files
    2.12 +    "root.tex"
    2.13 +    "root.bib"
    2.14 +    "prelude.tex"
    2.15 +
    2.16  session Intro (doc) in "Intro" = Pure +
    2.17    options [document_variants = "intro"]
    2.18    theories