1 The Isabelle System Distribution
2 ================================
7 This is Isabelle2021: February 2021.
9 See the NEWS file in the distribution for details on user-relevant
16 Isabelle works on the three main platform families: Linux, Windows,
17 and macOS. The application bundles from the Isabelle web page
18 include sources, documentation, and add-on tools for all supported
21 Some technical background information may be found in the Isabelle
22 System Manual (directory doc).
28 Isabelle/jEdit is an advanced Prover IDE based on jEdit and
29 Isabelle/Scala. It is the main example application of the
30 Isabelle/PIDE framework, and the default user interface of
31 Isabelle. It provides a metaphor of continuous proof checking of a
32 versioned collection of theory sources, with instantaneous feedback
33 in real-time and rich semantic markup associated with the formal
37 Other sources of information
38 ----------------------------
42 The Isabelle home page may be accessed from the following mirror
45 * https://www.cl.cam.ac.uk/research/hvg/Isabelle
46 * https://isabelle.in.tum.de
47 * https://mirror.cse.unsw.edu.au/pub/isabelle
48 * https://mirror.clarkson.edu/isabelle
52 The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
53 forum for Isabelle users to discuss problems and exchange
54 information. To join, send a message to
55 isabelle-users-request@cl.cam.ac.uk.
61 University of Cambridge
65 E-mail: lcp@cl.cam.ac.uk
72 Institut für Informatik
73 Technische Universität München
77 E-mail: nipkow@in.tum.de
78 Phone: +49-89-289-17302
82 Please report any problems you encounter. While we shall try to be
83 helpful, we can accept no responsibility for the deficiencies of
84 Isabelle and their consequences.