author | kleing |
Wed, 11 Feb 2009 23:07:50 +1100 | |
changeset 29862 | d203e9d4675b |
parent 29861 | 3c348f5873f3 |
child 29873 | 7c301075eef1 |
--- a/NEWS Wed Feb 11 23:05:58 2009 +1100 +++ b/NEWS Wed Feb 11 23:07:50 2009 +1100 @@ -184,7 +184,7 @@ context. INCOMPATIBILITY. * New find_theorems criterion "solves" matching theorems that - directly solve the current goal. Try "find_theorm solves". + directly solve the current goal. Try "find_theorems solves". * Added an auto solve option, which can be enabled through the ProofGeneral Isabelle settings menu (disabled by default).