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 |