fixed typo
authorkleing
Wed Feb 11 23:07:50 2009 +1100 (2009-02-11)
changeset 29862d203e9d4675b
parent 29861 3c348f5873f3
child 29873 7c301075eef1
fixed typo
NEWS
     1.1 --- a/NEWS	Wed Feb 11 23:05:58 2009 +1100
     1.2 +++ b/NEWS	Wed Feb 11 23:07:50 2009 +1100
     1.3 @@ -184,7 +184,7 @@
     1.4  context.  INCOMPATIBILITY.
     1.5  
     1.6  * New find_theorems criterion "solves" matching theorems that 
     1.7 -  directly solve the current goal. Try "find_theorm solves".
     1.8 +  directly solve the current goal. Try "find_theorems solves".
     1.9  
    1.10  * Added an auto solve option, which can be enabled through the
    1.11    ProofGeneral Isabelle settings menu (disabled by default).