equal
deleted
inserted
replaced
8 changes. |
8 changes. |
9 |
9 |
10 Installation |
10 Installation |
11 |
11 |
12 Isabelle works on the three main platform families: Linux, Windows, |
12 Isabelle works on the three main platform families: Linux, Windows, |
13 and Mac OS X. The fully integrated application bundles from the |
13 and Mac OS X. The application bundles from the Isabelle web page |
14 Isabelle web page include sources, documentation, and add-on tools |
14 include sources, documentation, and add-on tools for all supported |
15 for all supported platforms. |
15 platforms. |
16 |
16 |
17 Some background information may be found in the Isabelle System |
17 Some background information may be found in the Isabelle System |
18 Manual (directory doc). |
18 Manual (directory doc). |
19 |
19 |
20 User interfaces |
20 User interfaces |