author | wenzelm |
Fri, 17 Apr 2015 22:59:19 +0200 | |
changeset 60127 | b758c9937160 |
parent 60125 | 2944cc4f4f56 (diff) |
parent 60126 | 9c65c0f03c3a (current diff) |
child 60128 | 3d696ccb7fa6 |
--- a/ANNOUNCE Fri Apr 17 20:53:47 2015 +0200 +++ b/ANNOUNCE Fri Apr 17 22:59:19 2015 +0200 @@ -8,7 +8,7 @@ * Improved Isabelle/jEdit Prover IDE: folding / bracket matching for Isar, support for BibTeX files, improved graphview panel, improved scheduling for -asynchronous print commands (e.g. Slegehammer provers). +asynchronous print commands (e.g. Sledgehammer provers). * Support for 'private' and 'qualified' name space modifiers.