| changeset 50213 | 7b73c0509835 |
| parent 50198 | 0c7b351a6871 |
| child 50231 | 81a067b188b8 |
--- a/NEWS Mon Nov 26 11:59:56 2012 +0100 +++ b/NEWS Mon Nov 26 13:54:43 2012 +0100 @@ -41,6 +41,9 @@ * More informative error messages for Isar proof commands involving lazy enumerations (method applications etc.). +* Refined 'help' command to retrieve outer syntax commands according +to name patterns (with clickable results). + *** Prover IDE -- Isabelle/Scala/jEdit ***