[isabelle-dev] NEWS: isabelle build options
makarius at sketis.net
Wed Oct 11 21:16:41 CEST 2017
*** System ***
* Command-line tool "isabelle build" supports new options:
- option -B NAME: include session NAME and all descendants
- option -S: only observe changes of sources, not heap images
- option -f: forces a fresh build
* Command-line tool "isabelle build" takes "condition" options with the
corresponding environment values into account, when determining the
up-to-date status of a session.
This is the updated situation according to Isabelle/be08a7691c62.
More information about the isabelle-dev