Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
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)
isabelle