Mon, 17 May 1999 16:59:49 +0200 | berghofe | Changed interface of function use_dir. | changeset | files |
Mon, 17 May 1999 16:58:34 +0200 | berghofe | Present.begin_theory now needs an additional argument of type | changeset | files |
Mon, 17 May 1999 16:55:27 +0200 | berghofe | Reimplemented graph generator. | changeset | files |