equal
deleted
inserted
replaced
68 |
68 |
69 * Command-line tool "isabelle build" supports new options: |
69 * Command-line tool "isabelle build" supports new options: |
70 - option -B NAME: include session NAME and all descendants |
70 - option -B NAME: include session NAME and all descendants |
71 - option -S: only observe changes of sources, not heap images |
71 - option -S: only observe changes of sources, not heap images |
72 - option -f: forces a fresh build |
72 - option -f: forces a fresh build |
|
73 |
|
74 * Command-line tool "isabelle build" takes "condition" options with the |
|
75 corresponding environment values into account, when determining the |
|
76 up-to-date status of a session. |
73 |
77 |
74 |
78 |
75 New in Isabelle2017 (October 2017) |
79 New in Isabelle2017 (October 2017) |
76 ---------------------------------- |
80 ---------------------------------- |
77 |
81 |