| Mon, 17 May 1999 21:31:47 +0200 |
wenzelm |
backup operation replaces transaction;
|
changeset |
files
|
| Mon, 17 May 1999 21:31:08 +0200 |
wenzelm |
removed get_nodes;
|
changeset |
files
|
| Mon, 17 May 1999 19:15:35 +0200 |
wenzelm |
remove_thy;
|
changeset |
files
|
| Mon, 17 May 1999 18:00:59 +0200 |
wenzelm |
tuned arrows;
|
changeset |
files
|
| Mon, 17 May 1999 17:20:26 +0200 |
berghofe |
Arrows are no longer needed because of redesign of the
|
changeset |
files
|
| Mon, 17 May 1999 17:18:31 +0200 |
berghofe |
Changed some file names.
|
changeset |
files
|
| 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
|
| Mon, 17 May 1999 10:38:47 +0200 |
paulson |
new thm extend_JN; renamed extend_leadsto
|
changeset |
files
|