| Mon, 26 Sep 1994 17:35:45 +0100 | wenzelm | added init_database (somewhat experimental); | changeset | files |
| 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 |
| Thu, 15 Sep 1994 13:13:54 +0200 | lcp | now mentions that the sections are available as | changeset | files |
| Wed, 14 Sep 1994 16:11:19 +0200 | wenzelm | removed lookup_const (use Sign.const_type instead); | changeset | files |
| Wed, 14 Sep 1994 16:05:39 +0200 | wenzelm | replaced lookup_const by Sign.const_type; | changeset | files |
| Wed, 14 Sep 1994 16:02:06 +0200 | wenzelm | now uses Sign.const_type; | changeset | files |