src/Doc/ROOT
changeset 58801 f420225a22d6
parent 58112 8081087096ad
child 59175 bf465f335e85
     1.1 --- a/src/Doc/ROOT	Tue Oct 28 11:42:51 2014 +0100
     1.2 +++ b/src/Doc/ROOT	Tue Oct 28 13:52:54 2014 +0100
     1.3 @@ -100,7 +100,7 @@
     1.4      "root.tex"
     1.5  
     1.6  session Implementation (doc) in "Implementation" = "HOL-Proofs" +
     1.7 -  options [document_variants = "implementation"]
     1.8 +  options [document_variants = "implementation", quick_and_dirty]
     1.9    theories
    1.10      Eq
    1.11      Integration