HOL_USEDIR_OPTIONS: -Q false, giving up parallel proofs for now due to memory shortage;
authorwenzelm
Tue Jan 27 14:45:52 2009 +0100 (2009-01-27)
changeset 296435e0df4b6849e
parent 29642 be22ba214475
child 29644 fbbd0197155c
HOL_USEDIR_OPTIONS: -Q false, giving up parallel proofs for now due to memory shortage;
Admin/isatest/settings/at-mac-poly-5.1-para
Admin/isatest/settings/at-poly-5.1-para-e
Admin/isatest/settings/at64-poly-5.1-para
     1.1 --- a/Admin/isatest/settings/at-mac-poly-5.1-para	Tue Jan 27 14:28:51 2009 +0100
     1.2 +++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Tue Jan 27 14:45:52 2009 +0100
     1.3 @@ -25,4 +25,4 @@
     1.4  
     1.5  ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4"
     1.6  
     1.7 -HOL_USEDIR_OPTIONS="-p 2"
     1.8 +HOL_USEDIR_OPTIONS="-p 2 -Q false"
     2.1 --- a/Admin/isatest/settings/at-poly-5.1-para-e	Tue Jan 27 14:28:51 2009 +0100
     2.2 +++ b/Admin/isatest/settings/at-poly-5.1-para-e	Tue Jan 27 14:45:52 2009 +0100
     2.3 @@ -24,4 +24,4 @@
     2.4  
     2.5  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 20"
     2.6  
     2.7 -HOL_USEDIR_OPTIONS="-p 2"
     2.8 +HOL_USEDIR_OPTIONS="-p 2 -Q false"
     3.1 --- a/Admin/isatest/settings/at64-poly-5.1-para	Tue Jan 27 14:28:51 2009 +0100
     3.2 +++ b/Admin/isatest/settings/at64-poly-5.1-para	Tue Jan 27 14:45:52 2009 +0100
     3.3 @@ -24,4 +24,4 @@
     3.4  
     3.5  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 2"
     3.6  
     3.7 -HOL_USEDIR_OPTIONS="-p 2"
     3.8 +HOL_USEDIR_OPTIONS="-p 2 -Q false"