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 48421 c4d337782de4
parent 48349 a78e5d399599
child 48458 09710d6fc3d1 
--- a/src/HOL/ROOT	Sat Jul 21 21:16:08 2012 +0200
+++ b/src/HOL/ROOT	Sat Jul 21 22:13:50 2012 +0200
@@ -21,7 +21,7 @@
 
 session "HOL-Proofs"! (2) in "." = Pure +
   description {* HOL-Main with proof terms *}
-  options [document = false, proofs = 2, parallel_proofs = false]
+  options [document = false, proofs = 2, parallel_proofs = 0]
   theories Main
 
 session HOLCF! (3) = HOL +
isabelle