| changeset 58842 | 22b87ab47d3b |
| parent 58801 | f420225a22d6 |
| child 58846 | 98c03412079b |
--- a/NEWS Thu Oct 30 23:14:11 2014 +0100 +++ b/NEWS Fri Oct 31 11:18:17 2014 +0100 @@ -187,6 +187,8 @@ *** System *** +* Proof General support has been discontinued. Minor INCOMPATIBILITY. + * The Isabelle tool "update_cartouches" changes theory files to use cartouches instead of old-style {* verbatim *} or `alt_string` tokens.