From 7077e2e8fed4a52af4894954c8446781cb5d40d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 5 Dec 2006 12:49:56 +0000
Subject: Deleted file

---
 isa/README | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 isa/README

(limited to 'isa/README')

diff --git a/isa/README b/isa/README
deleted file mode 100644
index 01490085..00000000
--- a/isa/README
+++ /dev/null
@@ -1,32 +0,0 @@
-Isabelle Proof General 
-
-Written by David Aspinall, later with assistance from
-Markus Wenzel and David von Oheimb.
-
-Status:		   supported 
-Maintainer:	   David Aspinall
-Isabelle versions: Isabelle2003, Isabelle2004
-Isabelle homepage: http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
-
-====================================================================
-
-Isabelle Proof General has full support for multiple file scripting,
-with dependencies between theories communicated between Isabelle and
-Proof General.  It has a mode for editing theory files taken from
-Isamode.
-
-There is excellent support for X Symbol, using the Isabelle print 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 to start
-Isabelle Proof General via the 'Isabelle' shell command.  These files
-were provided by Markus Wenzel.
-
-Check the value of isabelle-prog-name.
-
-
-========================================
-
-$Id$
-
-- 
cgit v1.2.3