src/HOL/ROOT
changeset 59992 d8db5172c23f
parent 59973 a51af4f12d47
child 60008 dfbd51a5eab1
     1.1 --- a/src/HOL/ROOT	Thu Apr 09 20:42:38 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Thu Apr 09 22:53:26 2015 +0200
     1.3 @@ -229,7 +229,7 @@
     1.4    document_files "root.bib" "root.tex"
     1.5  
     1.6  session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Library" +
     1.7 -  options [document = false, browser_info = false]
     1.8 +  options [condition = ML_SYSTEM_POLYML, document = false, browser_info = false]
     1.9    theories
    1.10      Generate
    1.11      Generate_Binary_Nat
    1.12 @@ -673,7 +673,7 @@
    1.13  
    1.14      TPTP-related extensions.
    1.15    *}
    1.16 -  options [document = false]
    1.17 +  options [condition = ML_SYSTEM_POLYML, document = false]
    1.18    theories
    1.19      ATP_Theory_Export
    1.20      MaSh_Eval