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 48627 3ef76d545aaf
parent 48625 77c416ef06fa
parent 48617 f4e9288fdbfc
child 48635 bfce940c6f38 
--- a/src/HOL/ROOT	Tue Jul 31 14:43:55 2012 +0200
+++ b/src/HOL/ROOT	Tue Jul 31 19:55:04 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