# HG changeset patch # User kleing # Date 1115595167 -7200 # Node ID d84d5e4e7c714d3a374e9648e10eadc9fff1dab1 # Parent b74dfcdeac1b64bda556c390cca1e2aaf8e93896 shortened diff -r b74dfcdeac1b -r d84d5e4e7c71 Admin/page/dist-content/packages.content --- a/Admin/page/dist-content/packages.content Sun May 08 22:18:12 2005 +0200 +++ b/Admin/page/dist-content/packages.content Mon May 09 01:32:47 2005 +0200 @@ -7,7 +7,7 @@ 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) +working environment on common Unix platforms (e.g. Linux, Darwin, Solaris)

@@ -128,21 +128,16 @@ Proof General FAQ for advice. -

Running Isabelle on non-unix operating systems.

Further Information

Though Isabelle is nativly designed for Unix (e. g. Solaris, Linux), -Isabelle may also run under similar »unix-like« platforms: +

Although Isabelle is nativly designed for Unix environments +(e.g. Solaris, Linux), it may also run under similar, Unix-like +platforms. The following installation instructions are hints +contributed by Isabelle users. Feel free to contact us for any +suggestions, corrections or improvements.

Max OS X, since the Darwin kernel is a Unix kernel; see - installation notes for Max OS.
Windows, using the Cygwin - POSIX emulation layer; see installation - notes for Cygwin/Windows.
Installation notes for Mac OS X
Installation notes for Cygwin/Windows

- -

These installation instructions are not strictly normative, they are just -hints contributed by Isabelle users. -Feel free to contact us for any suggestions, corrections or improvements.