| Mon, 22 Oct 2001 17:58:56 +0200 | wenzelm | reorganize sources to accomodate locales; | changeset | files |
| Mon, 22 Oct 2001 17:58:37 +0200 | wenzelm | corollary; | changeset | files |
| Mon, 22 Oct 2001 17:58:26 +0200 | wenzelm | quick_and_dirty_prove_goalw_cterm; | changeset | files |
| Mon, 22 Oct 2001 17:58:11 +0200 | wenzelm | javac -depend; | changeset | files |
| Mon, 22 Oct 2001 17:56:16 +0200 | wenzelm | -D generated; | changeset | files |
| Mon, 22 Oct 2001 14:58:05 +0200 | berghofe | Added "clean" target. | changeset | files |
| Mon, 22 Oct 2001 14:55:16 +0200 | berghofe | Fixed problem with batch mode layout, which caused an AWT exception when | changeset | files |