README.html
changeset 8068 72d783f7313a
parent 7959 954e30918b86
child 8385 514df4f1df10
     1.1 --- a/README.html	Fri Dec 17 10:30:48 1999 +0100
     1.2 +++ b/README.html	Tue Dec 21 11:27:32 1999 +0100
     1.3 @@ -85,36 +85,36 @@
     1.4  Manual</em>, distributed with the sources (directory <tt>doc</tt>).
     1.5  
     1.6  
     1.7 -<h2>Unser interfaces</h2>
     1.8 +<h2>User interfaces</h2>
     1.9  
    1.10  The distribution includes only a very primitive interface based on
    1.11 -ordinary terminal sessions.
    1.12 +ordinary terminal sessions. Advanced interfaces are available from 
    1.13 +other sources:
    1.14  
    1.15 -<p>
    1.16 -
    1.17 +<UL>
    1.18 +<LI>
    1.19  <a href="http://www.dcs.ed.ac.uk/home/da/Isamode/">Isamode</a> by
    1.20  David Aspinall is a more elaborate interface for Isabelle.  It runs
    1.21  under recent versions of XEmacs and is useful to both novices and
    1.22  experts.
    1.23  
    1.24 -<p>
    1.25 -
    1.26 +<LI>
    1.27  <a href="http://www.dcs.ed.ac.uk/home/proofgen/">Proof General</a> is
    1.28  a generic Emacs interface for proof assistants, including Isabelle
    1.29  (both for the classic and Isar version).  Proof General is suitable
    1.30  for use by pacifists and Emacs militants alike. Its most prominent
    1.31  feature is script management, providing a metaphor of <em>live proof
    1.32  script editing</em>.
    1.33 -
    1.34 +</UL>
    1.35  
    1.36  <h2>Other sources of information</h2>
    1.37  
    1.38  <h3>Mailing list</h3>
    1.39  
    1.40 -The electronic mailing list <tt>isabelle-users@cl.cam.ac.uk</tt>
    1.41 +The electronic mailing list <TT>isabelle-users@cl.cam.ac.uk</TT>
    1.42  provides a forum for Isabelle users to discuss problems and exchange
    1.43  information. To join, send a message to
    1.44 -<tt>isabelle-users-request@cl.cam.ac.uk</tt>.
    1.45 +<A HREF="mailto:isabelle-users-request@cl.cam.ac.uk">isabelle-users-request@cl.cam.ac.uk</A>.
    1.46  
    1.47  
    1.48  <h3>Personal mail</h3>
    1.49 @@ -126,7 +126,7 @@
    1.50  Cambridge CB2 3QG<br>
    1.51  England<br>
    1.52  <br>
    1.53 -E-mail: lcp@cl.cam.ac.uk<br>
    1.54 +E-mail: <A HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A><br>
    1.55  Phone: +44-223-334600<br>
    1.56  Fax:   +44-223-334748<br>
    1.57  
    1.58 @@ -140,7 +140,7 @@
    1.59  D-80290 Muenchen<br>
    1.60  Germany<br>
    1.61  <br>
    1.62 -E-mail: nipkow@www.in.tum.de<br>
    1.63 +E-mail: <A HREF="mailto:nipkow@in.tum.de">nipkow@in.tum.de</A><br>
    1.64  Phone: +49-89-289-22690<br>
    1.65  Fax:   +49-89-289-28183<br>
    1.66