| changeset 59891 | 9ce697050455 |
| parent 59849 | c3d126c7944f |
| child 59892 | 2a616319c171 |
--- a/NEWS Wed Apr 01 13:32:32 2015 +0200 +++ b/NEWS Wed Apr 01 15:41:08 2015 +0200 @@ -396,6 +396,8 @@ * The Isabelle tool "update_cartouches" changes theory files to use cartouches instead of old-style {* verbatim *} or `alt_string` tokens. +* The Isabelle tool "build" provides new option -k. + New in Isabelle2014 (August 2014)