| Thu, 13 Jul 2000 11:36:57 +0200 | wenzelm | make: opaq flag; | changeset | files |
| Thu, 13 Jul 2000 11:36:29 +0200 | wenzelm | added internal, dest_internal; | changeset | files |
| Wed, 12 Jul 2000 16:44:34 +0200 | wenzelm | infix 'OF' is a version of 'MRS' with more appropriate argument order; | changeset | files |
| Wed, 12 Jul 2000 14:47:55 +0200 | kleing | about.html -> logics.html | changeset | files |
| Wed, 12 Jul 2000 14:47:34 +0200 | kleing | munich webserver is now sunbroy51 | changeset | files |
| Wed, 12 Jul 2000 14:46:28 +0200 | kleing | about -> logics, better access to online libraries | changeset | files |
| Mon, 10 Jul 2000 12:17:34 +0200 | paulson | removal of (harmless) circular definitions | changeset | files |
| Sun, 09 Jul 2000 16:01:42 +0200 | berghofe | Tuned proof. | changeset | files |