--- 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:
-<p>
-
+<UL>
+<LI>
<a href="http://www.dcs.ed.ac.uk/home/da/Isamode/">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
experts.
-<p>
-
+<LI>
<a href="http://www.dcs.ed.ac.uk/home/proofgen/">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>.
-
+</UL>
<h2>Other sources of information</h2>
<h3>Mailing list</h3>
-The electronic mailing list <tt>isabelle-users@cl.cam.ac.uk</tt>
+The electronic mailing list <TT>isabelle-users@cl.cam.ac.uk</TT>
provides a forum for Isabelle users to discuss problems and exchange
information. To join, send a message to
-<tt>isabelle-users-request@cl.cam.ac.uk</tt>.
+<A HREF="mailto:isabelle-users-request@cl.cam.ac.uk">isabelle-users-request@cl.cam.ac.uk</A>.
<h3>Personal mail</h3>
@@ -126,7 +126,7 @@
Cambridge CB2 3QG<br>
England<br>
<br>
-E-mail: lcp@cl.cam.ac.uk<br>
+E-mail: <A HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A><br>
Phone: +44-223-334600<br>
Fax: +44-223-334748<br>
@@ -140,7 +140,7 @@
D-80290 Muenchen<br>
Germany<br>
<br>
-E-mail: nipkow@www.in.tum.de<br>
+E-mail: <A HREF="mailto:nipkow@in.tum.de">nipkow@in.tum.de</A><br>
Phone: +49-89-289-22690<br>
Fax: +49-89-289-28183<br>