# HG changeset patch
# User wenzelm
# Date 1010850953 -3600
# Node ID 4ed8ab7d677ddc0fd1cce003a5392cc1435c78cc
# Parent  330cb92aaea311d169d0ced74a7725c061de6349
tuned;

diff -r 330cb92aaea3 -r 4ed8ab7d677d NEWS
--- 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