| changeset 61579 | 634cd44bb1d3 |
| parent 61571 | 9c50eb3bff50 |
| child 61595 | 3591274c607e |
--- a/NEWS Wed Nov 04 23:27:00 2015 +0100 +++ b/NEWS Thu Nov 05 00:02:30 2015 +0100 @@ -22,6 +22,10 @@ * Toplevel theorem statement 'proposition' is another alias for 'theorem'. +* Syntax for formal comments "-- text" now also supports the symbolic +form "\<comment> text". Command-line tool "isabelle update_cartouches -c" helps +to update old sources. + *** Prover IDE -- Isabelle/Scala/jEdit ***