tuned;
authorwenzelm
Sat Jan 12 16:55:53 2002 +0100 (2002-01-12)
changeset 127284ed8ab7d677d
parent 12727 330cb92aaea3
child 12729 46808b5ec985
tuned;
NEWS
     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