corrected, improved eMail addresses, user interface section
Tue, 21 Dec 1999 11:27:32 +0100
changeset 8068 72d783f7313a
parent 8067 225e3b45b766
child 8069 19b9f92ca503
corrected, improved eMail addresses, user interface section
--- a/README.html	Fri Dec 17 10:30:48 1999 +0100
+++ b/README.html	Tue Dec 21 11:27:32 1999 +0100
@@ -85,36 +85,36 @@
 Manual</em>, distributed with the sources (directory <tt>doc</tt>).
-<h2>Unser interfaces</h2>
+<h2>User interfaces</h2>
 The distribution includes only a very primitive interface based on
-ordinary terminal sessions.
+ordinary terminal sessions. Advanced interfaces are available from 
+other sources:
 <a href="">Isamode</a> by
 David Aspinall is a more elaborate interface for Isabelle.  It runs
 under recent versions of XEmacs and is useful to both novices and
 <a href="">Proof General</a> is
 a generic Emacs interface for proof assistants, including Isabelle
 (both for the classic and Isar version).  Proof General is suitable
 for use by pacifists and Emacs militants alike. Its most prominent
 feature is script management, providing a metaphor of <em>live proof
 script editing</em>.
 <h2>Other sources of information</h2>
 <h3>Mailing list</h3>
-The electronic mailing list <tt></tt>
+The electronic mailing list <TT></TT>
 provides a forum for Isabelle users to discuss problems and exchange
 information. To join, send a message to
+<A HREF=""></A>.
 <h3>Personal mail</h3>
@@ -126,7 +126,7 @@
 Cambridge CB2 3QG<br>
+E-mail: <A HREF=""></A><br>
 Phone: +44-223-334600<br>
 Fax:   +44-223-334748<br>
@@ -140,7 +140,7 @@
 D-80290 Muenchen<br>
+E-mail: <A HREF=""></A><br>
 Phone: +49-89-289-22690<br>
 Fax:   +49-89-289-28183<br>