equal
deleted
inserted
replaced
27 end |
27 end |
28 |
28 |
29 * More symbol definitions for the Z Notation (Isabelle fonts and LaTeX). |
29 * More symbol definitions for the Z Notation (Isabelle fonts and LaTeX). |
30 See also the group "Z Notation" in the Symbols dockable of |
30 See also the group "Z Notation" in the Symbols dockable of |
31 Isabelle/jEdit. |
31 Isabelle/jEdit. |
|
32 |
|
33 * The Isabelle/Haskell library ($ISABELLE_HOME/src/Tools/Haskell) has |
|
34 been significantly improved. In particular, module Isabelle.Bytes |
|
35 provides type Bytes for light-weight byte strings (with optional UTF8 |
|
36 interpretation), similar to type string in Isabelle/ML. Isabelle symbols |
|
37 now work uniformly in Isabelle/Haskell vs. Isabelle/ML vs. |
|
38 Isabelle/Scala/PIDE. |
32 |
39 |
33 |
40 |
34 *** Isar *** |
41 *** Isar *** |
35 |
42 |
36 * The improper proof command 'guess' is no longer part of by Pure, but |
43 * The improper proof command 'guess' is no longer part of by Pure, but |