| Mon, 26 Sep 1994 17:35:23 +0100 | wenzelm | added flag show_no_free_types: bool ref; | changeset | files |
| Mon, 26 Sep 1994 17:34:59 +0100 | wenzelm | explode_tr now produces leadings 0s; | changeset | files |
| Wed, 21 Sep 1994 15:39:02 +0200 | wenzelm | minor cleanup, added 'syntax' section; | changeset | files |