corrected, improved eMail addresses, user interface section
authoroheimb
Tue Dec 21 11:27:32 1999 +0100 (1999-12-21)
changeset 806872d783f7313a
parent 8067 225e3b45b766
child 8069 19b9f92ca503
corrected, improved eMail addresses, user interface section
README.html
     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