The following source and binary packages of - provide everything required for easy installation of the full Isabelle - working environment on common Unix platforms (e.g. Linux, Darwin, - Solaris). We provide a complete set of packages for Isabelle, Proof - General, and PolyML.
- -While XEmacs 21 is not included here, most operating system - distributions already provide a suitable package. Some of the - packages below are platform dependent; we include binaries for - Linux/x86, Solaris/Sparc, and Darwin/PPC (MacOS X).
- -Please see the installation instructions - for which packages to download and for more information.
- - - -Development snapshot
- -For the curious we provide a nightly generated - CVS development snapshot of - Isabelle. Use at your own risk!
- -Past releases
- -Past releases are available from the archive.
- -