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