equal
deleted
inserted
replaced
8 changes. |
8 changes. |
9 |
9 |
10 System requirements |
10 System requirements |
11 |
11 |
12 Isabelle requires a regular Unix-style platform (e.g. Linux, |
12 Isabelle requires a regular Unix-style platform (e.g. Linux, |
13 Windows with Cygwin, Mac OS) and depends on the following main |
13 Windows with Cygwin, Mac OS X) and depends on the following main |
14 add-on tools: |
14 add-on tools: |
15 |
15 |
16 * The Poly/ML compiler and runtime system (version 5.2.1 or later). |
16 * The Poly/ML compiler and runtime system (version 5.2.1 or later). |
17 * The GNU bash shell (version 3.x or 2.x). |
17 * The GNU bash shell (version 3.x or 2.x). |
18 * Perl (version 5.x). |
18 * Perl (version 5.x). |