1 The Isabelle System Distribution
5 This is some unidentified repository version of Isabelle.
7 See the NEWS file in the distribution for details on user-relevant
12 Isabelle works on the three main platform families: Linux, Windows,
15 Completely integrated bundles including the full Isabelle sources,
16 documentation, add-on tools and precompiled logic images for
17 several platforms are available from the Isabelle web page.
19 Some background information may be found in the Isabelle System
20 Manual, distributed with the sources (directory doc).
24 Isabelle/jEdit is an advanced Prover IDE based on jEdit and
25 Isabelle/Scala. It provides a metaphor of continuous proof
26 checking of a versioned collection of theory sources, with
27 instantaneous feedback in real-time and rich semantic markup
28 associated with the formal text.
30 The classic Isabelle user interface is Proof General by David
31 Aspinall and others. It is a generic Emacs interface for proof
32 assistants, including Isabelle. Its main feature is script
33 management, with stepwise proof scripting and partial locking of
36 Other sources of information
40 The Isabelle home page may be accessed from Cambridge, Munich, and
43 * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
44 * http://isabelle.in.tum.de
45 * http://mirror.cse.unsw.edu.au/pub/isabelle/index.html
49 The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
50 forum for Isabelle users to discuss problems and exchange
51 information. To join, send a message to
52 isabelle-users-request@cl.cam.ac.uk.
58 University of Cambridge
62 E-mail: lcp@cl.cam.ac.uk
69 Institut fuer Informatik
70 Technische Universitaet Muenchen
74 E-mail: nipkow@in.tum.de
75 Phone: +49-89-289-17302
77 _________________________________________________________________
79 Please report any problems you encounter. While we shall try to be
80 helpful, we can accept no responsibility for the deficiencies of
81 Isabelle and their consequences.
82 _________________________________________________________________