changeset 66841 | 5c32a072ca8b |
parent 66826 | 0d60d2118544 |
child 66843 | be08a7691c62 |
--- a/NEWS Mon Oct 09 19:10:52 2017 +0200 +++ b/NEWS Wed Oct 11 20:16:00 2017 +0200 @@ -69,6 +69,7 @@ * 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 New in Isabelle2017 (October 2017)