changeset 8068 72d783f7313a
parent 7959 954e30918b86
child 8385 514df4f1df10
--- 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>