--- a/src/HOL/ROOT Thu Apr 09 20:42:38 2015 +0200
+++ b/src/HOL/ROOT Thu Apr 09 22:53:26 2015 +0200
@@ -229,7 +229,7 @@
document_files "root.bib" "root.tex"
session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Library" +
- options [document = false, browser_info = false]
+ options [condition = ML_SYSTEM_POLYML, document = false, browser_info = false]
theories
Generate
Generate_Binary_Nat
@@ -673,7 +673,7 @@
TPTP-related extensions.
*}
- options [document = false]
+ options [condition = ML_SYSTEM_POLYML, document = false]
theories
ATP_Theory_Export
MaSh_Eval