| Wed, 16 Feb 2000 15:04:12 +0100 | wenzelm | Syntax translation functions; | changeset | files |
| Wed, 16 Feb 2000 10:51:23 +0100 | paulson | fixed some overfull lines | changeset | files |
| Wed, 16 Feb 2000 10:50:57 +0100 | paulson | a smaller point size reduces the number of overfull figures | changeset | files |
| Tue, 15 Feb 2000 21:02:55 +0100 | kleing | cosmetics | changeset | files |
| Tue, 15 Feb 2000 19:41:44 +0100 | wenzelm | fixed sel_upd simproc (less efficient, but more complete); | changeset | files |
| Tue, 15 Feb 2000 17:51:11 +0100 | kleing | lightweight bytecode verifier with correctness proof | changeset | files |
| Mon, 14 Feb 2000 20:49:08 +0100 | wenzelm | basic source deps; | changeset | files |
| Mon, 14 Feb 2000 20:43:12 +0100 | wenzelm | easy_setup: fixed mksimps; | changeset | files |