# HG changeset patch
# User kleing
# Date 1106883295 -3600
# Node ID 5058984779b9a38c03cb25a13da79b9c429bf225
# Parent  b8cb20cc0c0b6ed6528f1094bb825280c4227d08
-H false for showing proofs (not -H true)

diff -r b8cb20cc0c0b -r 5058984779b9 NEWS
--- 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.