General

Isabelle supports the three main platform families: Linux, Windows, Mac OS X. The platform-specific application bundles include sources, documentation, and add-on components. A few extra dependencies are explained below.

The full collection of Isabelle distribution archives is available for reference. Past releases are available from the archive. Further technical background information may be found in the Isabelle System Manual.

Linux

Requirements

Installation

The bundled archive contains everything required for Isabelle on Linux. It can be unpacked into an arbitrary directory like this:

Note that the target directory needs to be writable when Isabelle is started for the first time, to build the required logic image.

The Isabelle/jEdit Prover IDE can be invoked like this:

Other Isabelle command-line tools can be invoked from the terminal like this:

Windows (7, 8, 8.1, 10)

Requirements

Installation

The self-extracting archive contains everything required for Isabelle on Windows PCs. It can be unpacked into an arbitrary directory. The installer starts the Isabelle/jEdit Prover IDE automatically for the first time. It also creates a desktop alias to the main executable for later use.

Isabelle2018\Cygwin-Terminal allows to run Isabelle command-line tools, as known from Unix.

Isabelle2018\Cygwin-Setup allows to modify the Cygwin installation of Isabelle, e.g. to add further packages manually.

Note: The Isabelle application lacks special certificates and signatures, so Microsoft tends to reject it by default. Running it for the first time might require some careful clicks in the proper spots.

Note: Windows 10 might require a full shutdown and restart.

Mac OS X (10.10, 10.11, 10.12, 10.13)

Requirements

Installation

The disk image contains an application bundle with everything required for Isabelle on standard Intel Macs. The Isabelle application can be placed into the /Applications folder and started as usual. Note that the target directory needs to be writable when Isabelle is started for the first time, to build the required logic image.

The main Isabelle distribution is hidden inside the Isabelle2018.app folder. This is relevant when invoking Isabelle command-line tools, e.g. like this in the Terminal application:

Note: The Isabelle application lacks special certificates and signatures, so Apple tends to reject it by default. Running it for the first time might require a right-click or control-click on the application icon to open it explicitly.

Docker (e.g. for Cloud Service)

Requirements

Installation

The Docker image contains Ubuntu Linux with Isabelle2018. It can be used, e.g. on another Linux host like this:

That provides command-line access to the regular isabelle tool wrapper, with indirection through the Docker container infrastructure.