# HG changeset patch
# User wenzelm
# Date 1343744772 -7200
# Node ID f4e9288fdbfceb5d1a0083f502ad586542752709
# Parent  be8002ee43d82dd6971504517d1ece65723d08b6
HOL-Probability appears to work with smlnj;

diff -r be8002ee43d8 -r f4e9288fdbfc src/HOL/ROOT
--- 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"