# HG changeset patch # User wenzelm # Date 982110996 -3600 # Node ID 8ab6c909350853f43ab1dc8feef56ae6d2573653 # Parent 2fea4923864f6df989180368962f57ddec13b2de tuned; diff -r 2fea4923864f -r 8ab6c9093508 Admin/page/dist-content/packages.content --- a/Admin/page/dist-content/packages.content Tue Feb 13 22:51:08 2001 +0100 +++ b/Admin/page/dist-content/packages.content Wed Feb 14 01:36:36 2001 +0100 @@ -78,7 +78,7 @@ Installation is very easy. Basically, just unpack all required packages within the same directory. There is no manual configuration required of any of these components, if used according -the default settings of Isabelle. +to the default settings of Isabelle.
@@ -108,6 +108,6 @@ Users may now invoke Isabelle without further ado, e.g. run the main executable /usr/local/Isabelle/bin/Isabelle to launch the -Isabelle Proof General interface. +Proof General interface for Isabelle/Isar.
diff -r 2fea4923864f -r 8ab6c9093508 Admin/page/dist-content/past.content --- a/Admin/page/dist-content/past.content Tue Feb 13 22:51:08 2001 +0100 +++ b/Admin/page/dist-content/past.content Wed Feb 14 01:36:36 2001 +0100 @@ -7,7 +7,7 @@ Past releases of Isabelle are available from the Cambrige ftp archive: