NEWS
changeset 15436 d059da8434a5
parent 15423 761a4f8e6ad6
child 15454 4b339d3907a0
     1.1 --- a/NEWS	Tue Jan 11 14:19:08 2005 +0100
     1.2 +++ b/NEWS	Tue Jan 11 14:20:45 2005 +0100
     1.3 @@ -136,6 +136,12 @@
     1.4    these are subject to the DVI_VIEWER and PRINT_COMMAND settings,
     1.5    respectively.
     1.6  
     1.7 +* Document preparation: Proof scripts as well as some other commands
     1.8 +  such as ML or parse/print_translation can now be hidden in the document.
     1.9 +  Hiding can be enabled either via the option '-H true' of isatool usedir
    1.10 +  or by setting the reference variable IsarOutput.hide_commands. Additional
    1.11 +  commands to be hidden may be declared using IsarOutput.add_hidden_commands.
    1.12 +
    1.13  * ML: output via the Isabelle channels of writeln/warning/error
    1.14    etc. is now passed through Output.output, with a hook for arbitrary
    1.15    transformations depending on the print_mode (cf. Output.add_mode --