equal
deleted
inserted
replaced
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 |
22 Installation |
22 Installation |
23 |
23 |
24 Binary packages are available for Isabelle/HOL etc. for several |
24 Completely integrated bundles including the full Isabelle sources, |
25 platforms from the Isabelle web page. The system may be also built |
25 documentation, add-on tools and precompiled logic images for |
26 from scratch, using the tar.gz source distribution. See file |
26 several platforms are available from the Isabelle web page. |
27 INSTALL as distributed with Isabelle for more information. |
|
28 |
27 |
29 Further background information may be found in the Isabelle System |
28 Further background information may be found in the Isabelle System |
30 Manual, distributed with the sources (directory doc). |
29 Manual, distributed with the sources (directory doc). |
31 |
30 |
32 User interface |
31 User interface |