increased 'HOL-Proofs' timeout
authorblanchet
Thu Sep 18 16:47:40 2014 +0200 (2014-09-18)
changeset 583717f30ec82fe40
parent 58370 ffc8669e46cf
child 58372 bfd497f2f4c2
increased 'HOL-Proofs' timeout
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Thu Sep 18 16:47:40 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Thu Sep 18 16:47:40 2014 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4    description {*
     1.5      HOL-Main with explicit proof terms.
     1.6    *}
     1.7 -  options [document = false]
     1.8 +  options [timeout = 5400, document = false]
     1.9    theories Proofs (*sequential change of global flag!*)
    1.10    theories Main
    1.11    files