1 The Isabelle System Distribution 2 3Version information 4 5 This is some repository version of Isabelle. 6 7 See the NEWS file in the distribution for details on user-relevant 8 changes. 9 10Installation 11 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 15 platforms. 16 17 Some technical background information may be found in the Isabelle 18 System Manual (directory doc). 19 20User interface 21 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 28 text. 29 30Other sources of information 31 32 The Isabelle Page 33 34 The Isabelle home page may be accessed from the following mirror 35 sites: 36 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 41 42 Mailing list 43 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. 48 49 Personal mail 50 51 Lawrence C Paulson 52 Computer Laboratory 53 University of Cambridge 54 JJ Thomson Avenue 55 Cambridge CB3 0FD 56 England 57 E-mail: lcp@cl.cam.ac.uk 58 Phone: +44-223-763500 59 Fax: +44-223-334748 60 61 or 62 63 Tobias Nipkow 64 Institut fuer Informatik 65 Technische Universitaet Muenchen 66 Boltzmannstr. 3 67 D-85748 Garching 68 Germany 69 E-mail: nipkow@in.tum.de 70 Phone: +49-89-289-17302 71 Fax: +49-89-289-17307 72 _________________________________________________________________ 73 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 _________________________________________________________________ 78