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-BNF-Examples is sequential for now, due to spurious interrupts (again);
authorwenzelm
Wed, 17 Oct 2012 22:57:28 +0200
changeset 49903 9d2da7f5945a
parent 49902 73dc0c7e8240
child 49904 2df2786ac7b7
HOL-BNF-Examples is sequential for now, due to spurious interrupts (again);
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Wed Oct 17 22:45:40 2012 +0200
+++ b/src/HOL/ROOT	Wed Oct 17 22:57:28 2012 +0200
@@ -623,7 +623,7 @@
 
 session "HOL-BNF-Examples" in "BNF/Examples" = "HOL-BNF" +
   description {* Examples for Bounded Natural Functors *}
-  options [document = false]
+  options [document = false, threads = 1]
   theories
     Lambda_Term
     Process
isabelle