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.
increased 'HOL-Proofs' timeout
authorblanchet
Thu, 18 Sep 2014 16:47:40 +0200
changeset 58371 7f30ec82fe40
parent 58370 ffc8669e46cf
child 58372 bfd497f2f4c2
increased 'HOL-Proofs' timeout
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Thu Sep 18 16:47:40 2014 +0200
+++ b/src/HOL/ROOT	Thu Sep 18 16:47:40 2014 +0200
@@ -19,7 +19,7 @@
   description {*
     HOL-Main with explicit proof terms.
   *}
-  options [document = false]
+  options [timeout = 5400, document = false]
   theories Proofs (*sequential change of global flag!*)
   theories Main
   files
isabelle