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 requires a regular Unix-style platform (e.g. Linux,
13 Windows with Cygwin, Mac OS) and depends on the following main
16 * The Poly/ML compiler and runtime system (version 5.x).
17 * The GNU bash shell (version 3.x or 2.x).
19 * GNU Emacs (version 22) -- for the Proof General interface.
20 * A complete LaTeX installation -- for document preparation.
24 Completely integrated bundles including the full Isabelle sources,
25 documentation, add-on tools and precompiled logic images for
26 several platforms are available from the Isabelle web page.
28 Further background information may be found in the Isabelle System
29 Manual, distributed with the sources (directory doc).
33 The classic Isabelle user interface is Proof General by David
34 Aspinall and others. It is a generic Emacs interface for proof
35 assistants, including Isabelle. Its most prominent feature is
36 script management, providing a metaphor of stepwise proof script
37 editing. Proof General also provides some support for mathematical
38 symbols displayed on screen.
40 Other sources of information
44 The Isabelle home page may be accessed both from Cambridge and Munich:
45 * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
46 * http://isabelle.in.tum.de
50 The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
51 forum for Isabelle users to discuss problems and exchange
52 information. To join, send a message to
53 isabelle-users-request@cl.cam.ac.uk.
59 University of Cambridge
63 E-mail: lcp@cl.cam.ac.uk
70 Institut fuer Informatik
71 Technische Universitaet Muenchen
75 E-mail: nipkow@in.tum.de
76 Phone: +49-89-289-17302
78 _________________________________________________________________
80 Please report any problems you encounter. While we shall try to be
81 helpful, we can accept no responsibility for the deficiencies of
82 Isabelle and their consequences.
83 _________________________________________________________________