equal
deleted
inserted
replaced
6 |
6 |
7 *** General *** |
7 *** General *** |
8 |
8 |
9 * Experimental Prover IDE based on Isabelle/Scala and jEdit (see |
9 * Experimental Prover IDE based on Isabelle/Scala and jEdit (see |
10 src/Tools/jEdit). A bundled component provides "isabelle jedit" as |
10 src/Tools/jEdit). A bundled component provides "isabelle jedit" as |
11 executable Isabelle tool. |
11 executable Isabelle tool. Note that this also serves as IDE for |
|
12 Isabelle/ML, with useful tooltips and hyperlinks produced from its |
|
13 static analysis. |
12 |
14 |
13 * Significantly improved Isabelle/Isar implementation manual. |
15 * Significantly improved Isabelle/Isar implementation manual. |
14 |
16 |
15 * System settings: ISABELLE_HOME_USER now includes ISABELLE_IDENTIFIER |
17 * System settings: ISABELLE_HOME_USER now includes ISABELLE_IDENTIFIER |
16 (and thus refers to something like $HOME/.isabelle/Isabelle2011), |
18 (and thus refers to something like $HOME/.isabelle/Isabelle2011), |