General

Isabelle runs on common Unix platforms. For Linux, Solaris and MaxOS / Darwin, we provide ready-to-install bundles; for other Unices, Isabelle has to be built from scratch.

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

Isabelle does not run nativly on Windows; in a restricted fashion, you may run Isabelle on Windows using the Cygwin environment. See Installation notes for Cygwin/Windows.

For a serious apporach, you should consider a Windows/Linux dualboot installation.