| changeset 59892 | 2a616319c171 |
| parent 59891 | 9ce697050455 |
| child 59899 | 91f4f956b1eb |
--- a/NEWS Wed Apr 01 15:41:08 2015 +0200 +++ b/NEWS Wed Apr 01 16:24:38 2015 +0200 @@ -396,7 +396,7 @@ * 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. +* The Isabelle tool "build" provides new options -k and -x.