Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ROOT
changeset 48617 f4e9288fdbfc
parent 48614 6004f4575645
child 48627 3ef76d545aaf 
--- 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