--- a/NEWS Thu Jan 27 13:33:21 2005 +0100
+++ b/NEWS Fri Jan 28 04:34:55 2005 +0100
@@ -149,7 +149,7 @@
* Document preparation: Proof scripts as well as some other commands
such as ML or parse/print_translation can now be hidden in the document.
Hiding is enabled by default, and can be disabled either via the option
- '-H true' of isatool usedir or by resetting the reference variable
+ '-H false' of isatool usedir or by resetting the reference variable
IsarOutput.hide_commands. Additional commands to be hidden may be
declared using IsarOutput.add_hidden_commands.