equal
deleted
inserted
replaced
52 |
52 |
53 * improved isatool install: option -k creates KDE application icon, |
53 * improved isatool install: option -k creates KDE application icon, |
54 option -p DIR installs standalone binaries; |
54 option -p DIR installs standalone binaries; |
55 |
55 |
56 * added ML_PLATFORM setting (useful for cross-platform installations); |
56 * added ML_PLATFORM setting (useful for cross-platform installations); |
|
57 |
|
58 * Isamode 2.6 requires patch to accomodate change of Isabelle font |
|
59 mode and goal output format: |
|
60 |
|
61 diff -r Isamode-2.6/elisp/isa-load.el Isamode/elisp/isa-load.el |
|
62 244c244 |
|
63 < (list (isa-getenv "ISABELLE") "-msymbols" logic-name) |
|
64 --- |
|
65 > (list (isa-getenv "ISABELLE") "-misabelle_font" "-msymbols" |
|
66 logic-name) |
|
67 diff -r Isabelle-2.6/elisp/isa-proofstate.el Isamode/elisp/isa-proofstate.el |
|
68 181c181 |
|
69 < (defconst proofstate-proofstart-regexp "^Level [0-9]+$" |
|
70 --- |
|
71 > (defconst proofstate-proofstart-regexp "^Level [0-9]+" |
57 |
72 |
58 |
73 |
59 *** HOL *** |
74 *** HOL *** |
60 |
75 |
61 * There are now decision procedures for linear arithmetic over nat and |
76 * There are now decision procedures for linear arithmetic over nat and |