General

Isabelle runs on common Unix platforms. For Linux and Solaris, we provide ready-to-install bundles; for other Unices, Isabelle has to be built from scratch. We provide also some hints on how to use Isabelle on other, not-quite-Unix platforms.

A 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

Commonly, an installation of Isabelle could work as follows:

For more information, see the file INSTALL.

Solaris

Before you start, ensure the following for your system:

Then, an installation on Solaris is analogous to Linux:

For more information, see the file INSTALL.

MaxOS X / Darwin

Before you start, ensure the following for your system:

Then, an installation on Darwin is analogous to Linux:

Windows / Cygwin

See Installation notes for Cygwin/Windows.

Those installation instructions are hints contributed by Isabelle users. Please feel free to contact us for any suggestions, corrections or improvements.