typo
authorkleing
Mon May 30 10:25:46 2005 +0200 (2005-05-30)
changeset 1611227585e65028b
parent 16111 d06dc7975731
child 16113 692fe6595755
typo
NEWS
     1.1 --- a/NEWS	Mon May 30 10:23:15 2005 +0200
     1.2 +++ b/NEWS	Mon May 30 10:25:46 2005 +0200
     1.3 @@ -96,7 +96,7 @@
     1.4    dest select theorems that match the current goal, name:s selects
     1.5    theorems whose fully qualified name contain s, and simp:term selects
     1.6    all simplification rules whose lhs match term.  Any other term is 
     1.7 -  interpreted as pattern and selects all theorem matching the
     1.8 +  interpreted as pattern and selects all theorems matching the
     1.9    pattern. Available in ProofGeneral under 'ProofGeneral -> Find
    1.10    Theorems' or C-c C-f.
    1.11