src/Doc/ROOT
changeset 62354 fdd6989cc8a0
parent 62242 a4e6ea45f416
child 62363 7b5468422352
     1.1 --- a/src/Doc/ROOT	Wed Feb 17 21:08:18 2016 +0100
     1.2 +++ b/src/Doc/ROOT	Wed Feb 17 23:06:24 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 [condition = ML_SYSTEM_POLYML, document_variants = "implementation", quick_and_dirty]
     1.8 +  options [document_variants = "implementation", quick_and_dirty]
     1.9    theories
    1.10      Eq
    1.11      Integration