NEWS

--- a/NEWS	Wed Sep 14 23:14:59 2005 +0200
+++ b/NEWS	Wed Sep 14 23:15:00 2005 +0200
@@ -223,6 +223,8 @@
 wrt. the last state (works for interactive theory development only),
 in proof mode print all local facts (cf. 'print_facts');
 
+* 'hide': option '(open)' hides only base names.
+
 * More efficient treatment of intermediate checkpoints in interactive
 theory development.