haftmann@25214: The Isabelle System Distribution haftmann@25214: haftmann@25214: Version information haftmann@25214: wenzelm@67866: This is some repository version of Isabelle. wenzelm@27646: wenzelm@27646: See the NEWS file in the distribution for details on user-relevant wenzelm@27646: changes. haftmann@25214: wenzelm@47795: Installation wenzelm@33842: wenzelm@50572: Isabelle works on the three main platform families: Linux, Windows, wenzelm@53978: and Mac OS X. The application bundles from the Isabelle web page wenzelm@53978: include sources, documentation, and add-on tools for all supported wenzelm@53978: platforms. haftmann@25214: wenzelm@54051: Some technical background information may be found in the Isabelle wenzelm@54051: System Manual (directory doc). haftmann@25214: wenzelm@57452: User interface haftmann@25214: wenzelm@50572: Isabelle/jEdit is an advanced Prover IDE based on jEdit and wenzelm@57452: Isabelle/Scala. It is the main example application of the wenzelm@57452: Isabelle/PIDE framework, and the default user interface of wenzelm@57452: Isabelle. It provides a metaphor of continuous proof checking of a wenzelm@57452: versioned collection of theory sources, with instantaneous feedback wenzelm@57452: in real-time and rich semantic markup associated with the formal wenzelm@57452: text. wenzelm@41596: haftmann@25214: Other sources of information haftmann@25214: haftmann@25214: The Isabelle Page haftmann@25214: wenzelm@62197: The Isabelle home page may be accessed from the following mirror wenzelm@62197: sites: wenzelm@50572: wenzelm@68649: * https://www.cl.cam.ac.uk/research/hvg/Isabelle wenzelm@68649: * https://isabelle.in.tum.de wenzelm@62190: * http://mirror.cse.unsw.edu.au/pub/isabelle wenzelm@68649: * https://mirror.clarkson.edu/isabelle haftmann@25214: haftmann@25214: Mailing list haftmann@25214: haftmann@25214: The electronic mailing list isabelle-users@cl.cam.ac.uk provides a wenzelm@25447: forum for Isabelle users to discuss problems and exchange wenzelm@25447: information. To join, send a message to wenzelm@25447: isabelle-users-request@cl.cam.ac.uk. haftmann@25214: haftmann@25214: Personal mail haftmann@25214: wenzelm@25415: Lawrence C Paulson haftmann@25214: Computer Laboratory haftmann@25214: University of Cambridge haftmann@25214: JJ Thomson Avenue haftmann@25214: Cambridge CB3 0FD haftmann@25214: England wenzelm@25415: E-mail: lcp@cl.cam.ac.uk haftmann@25214: Phone: +44-223-763500 haftmann@25214: Fax: +44-223-334748 haftmann@25214: haftmann@25214: or haftmann@25214: wenzelm@25415: Tobias Nipkow wenzelm@25415: Institut fuer Informatik wenzelm@25415: Technische Universitaet Muenchen haftmann@25214: Boltzmannstr. 3 haftmann@25214: D-85748 Garching haftmann@25214: Germany wenzelm@25415: E-mail: nipkow@in.tum.de haftmann@25214: Phone: +49-89-289-17302 haftmann@25214: Fax: +49-89-289-17307 haftmann@25214: _________________________________________________________________ haftmann@25214: haftmann@25214: Please report any problems you encounter. While we shall try to be haftmann@25214: helpful, we can accept no responsibility for the deficiencies of haftmann@25214: Isabelle and their consequences. haftmann@25214: _________________________________________________________________