--- a/NEWS Sat Jan 12 16:40:02 2002 +0100
+++ b/NEWS Sat Jan 12 16:55:53 2002 +0100
@@ -344,8 +344,9 @@
* system: Proof General keywords specification is now part of the
Isabelle distribution (see etc/isar-keywords.el);
-* system: some support for persistent Proof General sessions (refrain
-from outdating all loaded theories on startup);
+* system: support for persistent Proof General sessions (refrain from
+outdating all loaded theories on startup); user may create writable
+logic images like this: ``isabelle -q HOL Test'';
* system: smart selection of Isabelle process versus Isabelle
interface, accommodates case-insensitive file systems (e.g. HFS+); may