Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
make SML/NJ more happy;
authorwenzelm
Sat, 11 Apr 2015 12:24:51 +0200
changeset 60008 dfbd51a5eab1
parent 60007 41a117825097
child 60009 bd1c342dbbce
make SML/NJ more happy;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Fri Apr 10 23:58:07 2015 +0200
+++ b/src/HOL/ROOT	Sat Apr 11 12:24:51 2015 +0200
@@ -806,7 +806,7 @@
   theories Mirabelle_Test
 
 session "HOL-Mirabelle-ex" in "Mirabelle/ex" = "HOL-Mirabelle" +
-  options [document = false, timeout = 60]
+  options [condition = ML_SYSTEM_POLYML, document = false, timeout = 60]
   theories Ex
 
 session "HOL-Word-SMT_Examples" in SMT_Examples = "HOL-Word" +
isabelle