NEWS
changeset 14934 bf9f525d4821
parent 14919 0f5fde03e2b5
child 14972 51f95648abad
     1.1 --- a/NEWS	Sun Jun 13 15:28:46 2004 +0200
     1.2 +++ b/NEWS	Sun Jun 13 15:30:08 2004 +0200
     1.3 @@ -54,6 +54,14 @@
     1.4    and printing the subsequent argument, as in @{thm [locale=LC]
     1.5    fold_commute}, for example.
     1.6  
     1.7 +* Document preparation: commands 'display_drafts' and 'print_drafts'
     1.8 +  perform simple output of raw sources.  Only those symbols that do
     1.9 +  not require additional LaTeX packages (depending on comments in
    1.10 +  isabellesym.sty) are displayed properly, everything else is left
    1.11 +  verbatim.  We use isatool display and isatool print as front ends;
    1.12 +  these are subject to the DVI_VIEWER and PRINT_COMMAND settings,
    1.13 +  respectively.
    1.14 +
    1.15  * ML: output via the Isabelle channels of writeln/warning/error
    1.16    etc. is now passed through Output.output, with a hook for arbitrary
    1.17    transformations depending on the print_mode (cf. Output.add_mode --