Version information
This is some repository version of Isabelle.
See the NEWS file in the distribution for details on user-relevant changes.
Installation
Isabelle works on the three main platform families: Linux, Windows, and macOS. The application bundles from the Isabelle web page include sources, documentation, and add-on tools for all supported platforms.
Some technical background information may be found in the Isabelle System Manual (directory doc).
User interface
Isabelle/jEdit is an advanced Prover IDE based on jEdit and Isabelle/Scala. It is the main example application of the Isabelle/PIDE framework, and the default user interface of Isabelle. It provides a metaphor of continuous proof checking of a versioned collection of theory sources, with instantaneous feedback in real-time and rich semantic markup associated with the formal text.
Other sources of information
- The Isabelle Page
The Isabelle home page may be accessed from the following mirror sites:
Mailing list
The electronic mailing list [email protected] provides a forum for Isabelle users to discuss problems and exchange information. To join, send a message to [email protected].
Personal mail
Lawrence C Paulson Computer Laboratory University of Cambridge JJ Thomson Avenue Cambridge CB3 0FD England E-mail: [email protected] Phone: +44-223-763500 Fax: +44-223-334748
or
Tobias Nipkow Institut fuer Informatik Technische Universitaet Muenchen Boltzmannstr. 3 D-85748 Garching Germany E-mail: [email protected] Phone: +49-89-289-17302 Fax: +49-89-289-17307 _________________________________________________________________
Please report any problems you encounter. While we shall try to be helpful, we can accept no responsibility for the deficiencies of Isabelle and their consequences. _________________________________________________________________
This project brings Isabelle’s LSP server to emacs, make it possible to not use Isabelle/jEdit. This project contains some extensons of the Isabelle/LSP server, but no change to the core of Isabelle.
The installation instruction are available at src/Tools/emacs-lsp/spacemacs_layers/isabelle/README.org (even for non-spacemacs users).
- We do not accept changes to the pure Isabelle part (see the Isabelle part for a description).
- You can open issues.
- My elisp-fu is terrible, so if you see improvements, explain me why by opening an issue!