restore exactly named target, prevent non-named targets to participate in the ad-hoc switch game
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 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 Cambridge, Munich, and
37 * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
38 * http://isabelle.in.tum.de
39 * http://mirror.cse.unsw.edu.au/pub/isabelle/index.html
43 The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
44 forum for Isabelle users to discuss problems and exchange
45 information. To join, send a message to
46 isabelle-users-request@cl.cam.ac.uk.
52 University of Cambridge
56 E-mail: lcp@cl.cam.ac.uk
63 Institut fuer Informatik
64 Technische Universitaet Muenchen
68 E-mail: nipkow@in.tum.de
69 Phone: +49-89-289-17302
71 _________________________________________________________________
73 Please report any problems you encounter. While we shall try to be
74 helpful, we can accept no responsibility for the deficiencies of
75 Isabelle and their consequences.
76 _________________________________________________________________