| Mon, 26 May 2003 11:42:41 +0200 | kleing | set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible) | changeset | files |
| Sat, 24 May 2003 19:52:53 +0200 | kleing | fixed | changeset | files |
| Fri, 23 May 2003 17:19:53 +0200 | kleing | make it possible to switch off proof objects for HOL image | changeset | files |
| Fri, 23 May 2003 17:18:10 +0200 | kleing | make it possible to switch off proof objects | changeset | files |
| Tue, 20 May 2003 11:52:42 +0200 | kleing | be less verbose about simplification depth | changeset | files |
| Sun, 18 May 2003 16:30:20 +0200 | kleing | fix typo | changeset | files |
| Sun, 18 May 2003 16:29:18 +0200 | kleing | attach log files | changeset | files |
| Sun, 18 May 2003 16:16:58 +0200 | kleing | more cleanup | changeset | files |