removed left-over text links from lynx conversion;
authorwenzelm
Mon Nov 12 23:08:12 2007 +0100 (2007-11-12)
changeset 2541502884a4e1ac6
parent 25414 3326bd7ecd48
child 25416 1d8ebaf5f211
removed left-over text links from lynx conversion;
removed umlauts (cannot assume iso-latin anymore, and not yet utf-8 either);
README
     1.1 --- a/README	Mon Nov 12 21:09:32 2007 +0100
     1.2 +++ b/README	Mon Nov 12 23:08:12 2007 +0100
     1.3 @@ -12,7 +12,8 @@
     1.4       * A full Standard ML Compiler (e.g. Poly/ML 5.x, 4.x).
     1.5       * The GNU bash shell (version 3.x, 2.x).
     1.6       * Perl (version 5.x).
     1.7 -     * XEmacs (version 21.4.x) -- for the ProofGeneral interface.
     1.8 +     * XEmacs (version 21.4.x) or GNU Emacs (version 21, 22)
     1.9 +       -- for the ProofGeneral interface.
    1.10       * A complete LaTeX installation -- for document preparation.
    1.11  
    1.12  Installation
    1.13 @@ -28,7 +29,7 @@
    1.14  
    1.15  User interface
    1.16  
    1.17 -   The canonical Isabelle user interface is [1]Proof General by David
    1.18 +   The canonical Isabelle user interface is Proof General by David
    1.19     Aspinall and others. It is a generic (X)Emacs interface for proof
    1.20     assistants, including Isabelle (both for the classic and Isar
    1.21     version). Proof General is suitable for use by pacifists and Emacs
    1.22 @@ -37,7 +38,7 @@
    1.23     recently gained a rather large following of both beginning and expert
    1.24     users of Isabelle.
    1.25  
    1.26 -   Proof General is distributed together with the XEmacs [2]X-Symbol
    1.27 +   Proof General is distributed together with the XEmacs X-Symbol
    1.28     package, which provides a nice way to get proper mathematical symbols
    1.29     displayed on screen.
    1.30  
    1.31 @@ -46,36 +47,36 @@
    1.32    The Isabelle Page
    1.33  
    1.34     The Isabelle home page may be accessed both from Cambridge and Munich:
    1.35 -     * [3]http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
    1.36 -     * [4]http://isabelle.in.tum.de
    1.37 +     * http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
    1.38 +     * http://isabelle.in.tum.de
    1.39  
    1.40    Mailing list
    1.41  
    1.42     The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
    1.43     forum for Isabelle users to discuss problems and exchange information.
    1.44 -   To join, send a message to [5]isabelle-users-request@cl.cam.ac.uk.
    1.45 +   To join, send a message to isabelle-users-request@cl.cam.ac.uk.
    1.46  
    1.47    Personal mail
    1.48  
    1.49 -   [6]Lawrence C Paulson
    1.50 +   Lawrence C Paulson
    1.51     Computer Laboratory
    1.52     University of Cambridge
    1.53     JJ Thomson Avenue
    1.54     Cambridge CB3 0FD
    1.55     England
    1.56 -   E-mail: [7]lcp@cl.cam.ac.uk
    1.57 +   E-mail: lcp@cl.cam.ac.uk
    1.58     Phone: +44-223-763500
    1.59     Fax: +44-223-334748
    1.60  
    1.61     or
    1.62  
    1.63 -   [8]Tobias Nipkow
    1.64 -   Institut für Informatik
    1.65 -   Technische Universität München
    1.66 +   Tobias Nipkow
    1.67 +   Institut fuer Informatik
    1.68 +   Technische Universitaet Muenchen
    1.69     Boltzmannstr. 3
    1.70     D-85748 Garching
    1.71     Germany
    1.72 -   E-mail: [9]nipkow@in.tum.de
    1.73 +   E-mail: nipkow@in.tum.de
    1.74     Phone: +49-89-289-17302
    1.75     Fax: +49-89-289-17307
    1.76       _________________________________________________________________