| Tue, 27 Jan 2009 15:22:46 +0100 | wenzelm | turned IsarDocument into trait for IsabelleProcess; | changeset | files |
| Tue, 27 Jan 2009 14:45:52 +0100 | wenzelm | HOL_USEDIR_OPTIONS: -Q false, giving up parallel proofs for now due to memory shortage; | changeset | files |
| Tue, 27 Jan 2009 14:28:51 +0100 | wenzelm | thm_proof: recovered single-threaded version; | changeset | files |