Wed, 29 Apr 1998 11:29:39 +0200 | wenzelm | tuned setup; | changeset | files |
Wed, 29 Apr 1998 11:29:00 +0200 | wenzelm | tuned names of (add_)store_XXX functions; | changeset | files |
Wed, 29 Apr 1998 11:26:59 +0200 | wenzelm | replaced thy_setup by 'setup' section; | changeset | files |