From 41113572f109f81db301aab9ed828cb60438c4c8 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Tue, 19 Sep 2000 09:42:19 +0000 Subject: Isabelle version: 99-1; tuned; --- isar/README | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'isar/README') diff --git a/isar/README b/isar/README index f9d0e689..c87965ce 100644 --- a/isar/README +++ b/isar/README @@ -6,7 +6,8 @@ $Id$ Status: supported Maintainer: Markus Wenzel -Isabelle version: 99 +Isabelle version: 99-1 +Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ Isar homepage: http://isabelle.in.tum.de/Isar/ ======================================== @@ -21,5 +22,7 @@ already defined and it's easy to add to your own theories. There is no support for proof by pointing yet, and no tags program. -The script `interface' and file 'interface-setup.el' are used to start -Isabelle Proof General via the 'Isabelle' shell command. +The script `interface' and file 'interface-setup.el' are used +internally to start Isabelle Proof General via the 'Isabelle' shell +command. This is the default way to invoke Proof General from the +Isabelle perspective. -- cgit v1.2.3