| Tue, 30 Sep 1997 16:19:27 +0200 | wenzelm | obsolete; | changeset | files |
| Tue, 30 Sep 1997 16:12:38 +0200 | wenzelm | ISABELLE_USEDIR_OPTIONS="-i true" | changeset | files |
| Tue, 30 Sep 1997 12:53:54 +0200 | berghofe | Changed html data directory and names of graph files. | changeset | files |
| Tue, 30 Sep 1997 12:52:15 +0200 | berghofe | There is now one single option -i for generating theory browsing | changeset | files |
| Tue, 30 Sep 1997 12:49:16 +0200 | berghofe | Modified some links. | changeset | files |
| Tue, 30 Sep 1997 11:03:55 +0200 | paulson | Client, Server certificates now sent using the separate Certificate rule, | changeset | files |
| Mon, 29 Sep 1997 15:39:28 +0200 | wenzelm | tuned; | changeset | files |