equal
deleted
inserted
replaced
34 been significantly improved. In particular, module Isabelle.Bytes |
34 been significantly improved. In particular, module Isabelle.Bytes |
35 provides type Bytes for light-weight byte strings (with optional UTF8 |
35 provides type Bytes for light-weight byte strings (with optional UTF8 |
36 interpretation), similar to type string in Isabelle/ML. Isabelle symbols |
36 interpretation), similar to type string in Isabelle/ML. Isabelle symbols |
37 now work uniformly in Isabelle/Haskell vs. Isabelle/ML vs. |
37 now work uniformly in Isabelle/Haskell vs. Isabelle/ML vs. |
38 Isabelle/Scala/PIDE. |
38 Isabelle/Scala/PIDE. |
|
39 |
|
40 * Theory_Data / Generic_Data: "val extend = I" has been removed; |
|
41 obsolete since Isabelle2021. |
39 |
42 |
40 |
43 |
41 *** Isar *** |
44 *** Isar *** |
42 |
45 |
43 * The improper proof command 'guess' is no longer part of by Pure, but |
46 * The improper proof command 'guess' is no longer part of by Pure, but |