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.
HOL-Probability appears to work with smlnj;
authorwenzelm
Tue, 31 Jul 2012 16:26:12 +0200
changeset 48617 f4e9288fdbfc
parent 48616 be8002ee43d8
child 48626 ef374008cb7c
HOL-Probability appears to work with smlnj;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Tue Jul 31 16:23:20 2012 +0200
+++ b/src/HOL/ROOT	Tue Jul 31 16:26:12 2012 +0200
@@ -560,7 +560,7 @@
     "document/root.tex"
 
 session "HOL-Probability"! in "Probability" = "HOL-Multivariate_Analysis" +
-  options [condition = ISABELLE_POLYML, document_graph]
+  options [document_graph]
   theories [document = false]
     "~~/src/HOL/Library/Countable"
     "~~/src/HOL/Multivariate_Analysis/Extended_Real_Limits"
isabelle