Thu, 16 Jun 1994 12:07:40 +0200 | wenzelm | added 'subclass' section; | changeset | files |
Thu, 16 Jun 1994 12:06:56 +0200 | wenzelm | base_on: added 'mk_draft' arg; | changeset | files |
Thu, 16 Jun 1994 12:05:53 +0200 | wenzelm | (beta release) | changeset | files |
Thu, 16 Jun 1994 12:04:33 +0200 | wenzelm | added ext_tsig_subclass, ext_tsig_defsort; | changeset | files |
Thu, 16 Jun 1994 12:04:00 +0200 | wenzelm | added add_classrel; | changeset | files |
Thu, 09 Jun 1994 11:11:03 +0200 | wenzelm | replaced extend_theory; | changeset | files |
Thu, 09 Jun 1994 11:09:45 +0200 | wenzelm | added OldMixfix; | changeset | files |