1 The Isabelle System Distribution
5 This is Isabelle2018: August 2018.
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 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
30 Other sources of information
34 The Isabelle home page may be accessed from the following mirror
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
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.
53 University of Cambridge
57 E-mail: lcp@cl.cam.ac.uk
64 Institut fuer Informatik
65 Technische Universitaet Muenchen
69 E-mail: nipkow@in.tum.de
70 Phone: +49-89-289-17302
72 _________________________________________________________________
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 _________________________________________________________________