| changeset 50231 | 81a067b188b8 |
| parent 50219 | f6b95f0bba78 |
| parent 50213 | 7b73c0509835 |
| child 50232 | 289a34f9c383 |
--- a/NEWS Mon Nov 26 16:01:04 2012 +0100 +++ b/NEWS Mon Nov 26 17:13:44 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 ***