equal
deleted
inserted
replaced
31 URL="https://isabelle.in.tum.de" isabelle electron \ |
31 URL="https://isabelle.in.tum.de" isabelle electron \ |
32 --app="$(isabelle getenv -b ISABELLE_HOME)"/src/Tools/Electron/test |
32 --app="$(isabelle getenv -b ISABELLE_HOME)"/src/Tools/Electron/test |
33 |
33 |
34 |
34 |
35 *** HOL *** |
35 *** HOL *** |
|
36 |
|
37 * Renamed attribute "arith_split" to "linarith_split". Minor |
|
38 INCOMPATIBILITY. |
36 |
39 |
37 * Theory Char_ord: streamlined logical specifications. |
40 * Theory Char_ord: streamlined logical specifications. |
38 Minor INCOMPATIBILITY. |
41 Minor INCOMPATIBILITY. |
39 |
42 |
40 * New Theory Code_Abstract_Char implements characters by target language |
43 * New Theory Code_Abstract_Char implements characters by target language |