| Mon, 17 May 1999 17:07:54 +0200 | berghofe | Added function get_preds. | changeset | files |
| Mon, 17 May 1999 17:06:50 +0200 | berghofe | Added setup for BrowserInfo. | changeset | files |
| Mon, 17 May 1999 17:04:26 +0200 | berghofe | usedir now recognizes additional option -P which is used to | changeset | files |
| 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 |
| Mon, 17 May 1999 16:48:58 +0200 | berghofe | Added some code to enable browser to display remote documents. | changeset | files |