# HG changeset patch # User wenzelm # Date 1605978985 -3600 # Node ID 7ab733b2aecb76ad67d1bbad85117cc988d9158d # Parent 418dfce5533f6ef00bec21de13bae7436a4658c1 more NEWS; diff -r 418dfce5533f -r 7ab733b2aecb NEWS --- a/NEWS Sat Nov 21 17:58:00 2020 +0100 +++ b/NEWS Sat Nov 21 18:16:25 2020 +0100 @@ -242,10 +242,17 @@ * The command-line tool "isabelle console" now supports interrupts properly (on Linux and macOS). +* The command-line tool "isabelle build" provides option -P DIR to +produce PDF/HTML presentation in the specified directory; -P: refers to +the standard directory according to ISABELLE_BROWSER_INFO / +ISABELLE_BROWSER_INFO_SYSTEM settings. Generated PDF documents are taken +from the build database -- from this or earlier builds with option +document=pdf. + * The command-line tool "isabelle document" generates theory documents -from the underlying session build database (using its exported \LaTeX -sources or existing PDF files). INCOMPATIBILITY, the former "isabelle -document" tool was rather different and has been discontinued. +on the spot, using the underlying session build database (exported +\LaTeX sources or existing PDF files). INCOMPATIBILITY, the former +"isabelle document" tool was rather different and has been discontinued. * The command-line tool "isabelle sessions" explores the structure of Isabelle sessions and prints result names in topological order (on