equal
deleted
inserted
replaced
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) |
5 |
5 |
6 |
6 |
7 New in this Isabelle version |
7 New in this Isabelle version |
8 ---------------------------- |
8 ---------------------------- |
|
9 |
|
10 *** Document preparation *** |
|
11 |
|
12 * Antiquotation @{bash_function NAME} prints the given GNU bash function |
|
13 verbatim --- checked against the Isabelle settings environment. |
|
14 |
9 |
15 |
10 *** Pure *** |
16 *** Pure *** |
11 |
17 |
12 * Definitions in locales produce rule which can be added as congruence |
18 * Definitions in locales produce rule which can be added as congruence |
13 rule to protect foundational terms during simplification. |
19 rule to protect foundational terms during simplification. |