changeset 63135 | 035785035a1a |
parent 63121 | 284e1802bc5c |
child 63144 | 76130b7cc450 |
--- a/NEWS Tue May 24 11:39:26 2016 +0200 +++ b/NEWS Tue May 24 15:16:57 2016 +0200 @@ -38,6 +38,9 @@ *** Prover IDE -- Isabelle/Scala/jEdit *** +* Cartouche abbreviations work both for " and ` to accomodate typical +situations where old ASCII notation may be updated. + * IDE support for the Isabelle/Pure bootstrap process, with the following independent stages: