1                       The Isabelle System Distribution
2
3Version information
4
5   This is some repository version of Isabelle.
6
7   See the NEWS file in the distribution for details on user-relevant
8   changes.
9
10Installation
11
12   Isabelle works on the three main platform families: Linux, Windows,
13   and Mac OS X.  The application bundles from the Isabelle web page
14   include sources, documentation, and add-on tools for all supported
15   platforms.
16
17   Some technical background information may be found in the Isabelle
18   System Manual (directory doc).
19
20User interface
21
22   Isabelle/jEdit is an advanced Prover IDE based on jEdit and
23   Isabelle/Scala.  It is the main example application of the
24   Isabelle/PIDE framework, and the default user interface of
25   Isabelle.  It provides a metaphor of continuous proof checking of a
26   versioned collection of theory sources, with instantaneous feedback
27   in real-time and rich semantic markup associated with the formal
28   text.
29
30Other sources of information
31
32  The Isabelle Page
33
34   The Isabelle home page may be accessed from the following mirror
35   sites:
36
37     * https://www.cl.cam.ac.uk/research/hvg/Isabelle
38     * https://isabelle.in.tum.de
39     * http://mirror.cse.unsw.edu.au/pub/isabelle
40     * https://mirror.clarkson.edu/isabelle
41
42  Mailing list
43
44   The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
45   forum for Isabelle users to discuss problems and exchange
46   information.  To join, send a message to
47   isabelle-users-request@cl.cam.ac.uk.
48
49  Personal mail
50
51   Lawrence C Paulson
52   Computer Laboratory
53   University of Cambridge
54   JJ Thomson Avenue
55   Cambridge CB3 0FD
56   England
57   E-mail: lcp@cl.cam.ac.uk
58   Phone: +44-223-763500
59   Fax: +44-223-334748
60
61   or
62
63   Tobias Nipkow
64   Institut fuer Informatik
65   Technische Universitaet Muenchen
66   Boltzmannstr. 3
67   D-85748 Garching
68   Germany
69   E-mail: nipkow@in.tum.de
70   Phone: +49-89-289-17302
71   Fax: +49-89-289-17307
72     _________________________________________________________________
73
74   Please report any problems you encounter. While we shall try to be
75   helpful, we can accept no responsibility for the deficiencies of
76   Isabelle and their consequences.
77     _________________________________________________________________
78