equal
deleted
inserted
replaced
67 been discontinued. |
67 been discontinued. |
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 |
73 |
73 |
74 |
74 New in Isabelle2017 (October 2017) |
75 New in Isabelle2017 (October 2017) |
75 ---------------------------------- |
76 ---------------------------------- |
76 |
77 |