equal
deleted
inserted
replaced
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) 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.x). |
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). |
19 * GNU Emacs (version 22) -- for the Proof General interface. |
19 * GNU Emacs (version 22) -- for the Proof General interface. |
20 * A complete LaTeX installation -- for document preparation. |
20 * A complete LaTeX installation -- for document preparation. |
21 |
21 |