| Wed, 07 May 2003 17:06:11 +0200 | kleing | target clean, compile Console.java | changeset | files |
| Wed, 07 May 2003 17:04:45 +0200 | kleing | cleanup, comments | changeset | files |
| Wed, 07 May 2003 16:58:17 +0200 | berghofe | Some tuning: | changeset | files |
| Wed, 07 May 2003 16:38:55 +0200 | kleing | eliminated dependencies on AWT for batch mode | changeset | files |
| Wed, 07 May 2003 14:53:35 +0200 | kleing | fixed HOL-Real-HahnBanach (-> HOL-Complex-HahnBanach) | changeset | files |
| Tue, 06 May 2003 17:45:54 +0200 | paulson | removal of the image HOL-Real and merging of HOL-Real-ex with HOL-Complex-ex | changeset | files |
| Tue, 06 May 2003 12:29:49 +0200 | kleing | use -Smax with poly 4.1.3 for maximum database space (see poly release notes) | changeset | files |