NEWS
changeset 50231 81a067b188b8
parent 50219 f6b95f0bba78
parent 50213 7b73c0509835
child 50232 289a34f9c383
     1.1 --- a/NEWS	Mon Nov 26 16:01:04 2012 +0100
     1.2 +++ b/NEWS	Mon Nov 26 17:13:44 2012 +0100
     1.3 @@ -41,6 +41,9 @@
     1.4  * More informative error messages for Isar proof commands involving
     1.5  lazy enumerations (method applications etc.).
     1.6  
     1.7 +* Refined 'help' command to retrieve outer syntax commands according
     1.8 +to name patterns (with clickable results).
     1.9 +
    1.10  
    1.11  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.12