General

Isabelle runs on common Unix platforms. We provide ready-to-use binary packages for Linux/x86, MaxOS X / Darwin, and Solaris. For other platforms, Isabelle logics need to be compiled separately (see also INSTALL).

A practically usable Isabelle system consists of the following components:

Optionally, theory graph browsing may be used if a Java JRE 1.1 or above is installed.

For operating-system-specific instructions:

Linux

Installation of Isabelle/HOL on common Linux/x86 platforms works as follows:

MaxOS X / Darwin

Ensure that your system provides the following:

Then installation on MacOS X / Darwin is analogous to Linux, but note that some GNU executables are named differently.

Solaris

Ensure that the following tools are available on your system:

The rest of the installation is analogous to Linux (see above).