src/Doc/ROOT
changeset 62242 a4e6ea45f416
parent 62154 b855771b3979
child 62354 fdd6989cc8a0
     1.1 --- a/src/Doc/ROOT	Sun Jan 24 15:02:56 2016 +0100
     1.2 +++ b/src/Doc/ROOT	Sun Jan 24 15:25:39 2016 +0100
     1.3 @@ -126,7 +126,7 @@
     1.4      "root.tex"
     1.5  
     1.6  session Implementation (doc) in "Implementation" = "HOL-Proofs" +
     1.7 -  options [document_variants = "implementation", quick_and_dirty]
     1.8 +  options [condition = ML_SYSTEM_POLYML, document_variants = "implementation", quick_and_dirty]
     1.9    theories
    1.10      Eq
    1.11      Integration