equal
deleted
inserted
replaced
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 application bundles from the Isabelle web page |
13 and Mac OS X. The application bundles from the Isabelle web page |
14 include sources, documentation, and add-on tools for all supported |
14 include sources, documentation, and add-on tools for all supported |
15 platforms. |
15 platforms. |
16 |
16 |
17 Some background information may be found in the Isabelle System |
17 Some technical background information may be found in the Isabelle |
18 Manual (directory doc). |
18 System Manual (directory doc). |
19 |
19 |
20 User interfaces |
20 User interfaces |
21 |
21 |
22 Isabelle/jEdit is an advanced Prover IDE based on jEdit and |
22 Isabelle/jEdit is an advanced Prover IDE based on jEdit and |
23 Isabelle/Scala. It provides a metaphor of continuous proof |
23 Isabelle/Scala. It provides a metaphor of continuous proof |