From 877c97b74b70c4d97164b0849acfd5577060741f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 09:08:09 +0000
Subject: Isabelle->isabelle binary. Remove Isar homepage.

---
 isar/README | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/isar/README b/isar/README
index b107675e..944f7a3d 100644
--- a/isar/README
+++ b/isar/README
@@ -9,7 +9,6 @@ Status:		    supported
 Maintainers:	    David Aspinall, Makarius Wenzel, Stefan Berghofer
 Isabelle versions:  Isabelle2009
 Isabelle homepage:  http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
-Isar homepage:	    http://isabelle.in.tum.de/Isar/
 
 ===========================================================================
 
@@ -22,7 +21,7 @@ mode for X Symbol tokens.  Many Isabelle theories have X Symbol syntax
 already defined and it's easy to add to your own theories.
 
 The script `interface' and file 'interface-setup.el' are used
-internally to start Isabelle Proof General via the 'Isabelle' shell
+internally to start Isabelle Proof General via the 'isabelle' shell
 command.  This is the default way to invoke Proof General from the
 Isabelle perspective; it enables Isabelle to provide a consistent
 process and file-system environment, including the all-important
-- 
cgit v1.2.3