| changeset 60106 | e0d1d9203275 |
| parent 60094 | 96a4765ba7d1 |
| child 60111 | 3eaa39b3a0b7 |
--- a/NEWS Fri Apr 17 09:56:12 2015 +0200 +++ b/NEWS Fri Apr 17 11:28:57 2015 +0200 @@ -449,7 +449,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 options -k and -x. +* The Isabelle tool "build" provides new options -X, -k, -x. * Discontinued old-fashioned "codegen" tool. Code generation can always be externally triggered using an appropriate ROOT file plus a