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,
13 and Mac OS X. The application bundles from the Isabelle web page
14 include sources, documentation, and add-on tools for all supported
17 Some technical background information may be found in the Isabelle
18 System Manual (directory doc).
22 Isabelle/jEdit is an advanced Prover IDE based on jEdit and
23 Isabelle/Scala. It provides a metaphor of continuous proof
24 checking of a versioned collection of theory sources, with
25 instantaneous feedback in real-time and rich semantic markup
26 associated with the formal text.
28 The classic Isabelle user interface is Proof General by David
29 Aspinall and others. It is a generic Emacs interface for proof
30 assistants, including Isabelle. Its main feature is script
31 management, with stepwise proof scripting and partial locking of
34 Other sources of information
38 The Isabelle home page may be accessed from Cambridge, Munich, and
41 * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
42 * http://isabelle.in.tum.de
43 * http://mirror.cse.unsw.edu.au/pub/isabelle/index.html
47 The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
48 forum for Isabelle users to discuss problems and exchange
49 information. To join, send a message to
50 isabelle-users-request@cl.cam.ac.uk.
56 University of Cambridge
60 E-mail: lcp@cl.cam.ac.uk
67 Institut fuer Informatik
68 Technische Universitaet Muenchen
72 E-mail: nipkow@in.tum.de
73 Phone: +49-89-289-17302
75 _________________________________________________________________
77 Please report any problems you encounter. While we shall try to be
78 helpful, we can accept no responsibility for the deficiencies of
79 Isabelle and their consequences.
80 _________________________________________________________________