NEWS

--- 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: