NEWS
changeset 5671 da670b37857e
parent 5657 1a6c9c6a3f8e
child 5705 56f2030c46c6
     1.1 --- a/NEWS	Mon Oct 19 13:34:19 1998 +0200
     1.2 +++ b/NEWS	Mon Oct 19 13:50:25 1998 +0200
     1.3 @@ -53,10 +53,10 @@
     1.4    delWrapper, delSWrapper: claset *  string            -> claset
     1.5    getWrapper is renamed to appWrappers, getSWrapper to appSWrappers;
     1.6  
     1.7 -* Classical reasoner: addbefore / addSbefore now have APPEND / ORELSE semantics;
     1.8 +* Classical reasoner: addbefore/addSbefore now have APPEND/ORELSE semantics;
     1.9    addbefore now affects only the unsafe part of step_tac etc.;
    1.10 -  This affects addss/auto_tac/force_tac, so EXISTING (INSTABLE) PROOFS MAY FAIL, but
    1.11 -  most proofs should be fixable easily, e.g. by replacing Auto_tac by Force_tac.
    1.12 +  This affects addss/auto_tac/force_tac,so EXISTING (INSTABLE) PROOFS MAY FAIL,
    1.13 +  but proofs should be fixable easily, e.g. by replacing Auto_tac by Force_tac.
    1.14  
    1.15  * Classical reasoner: setwrapper to setWrapper and compwrapper to compWrapper; 
    1.16    added safe wrapper (and access functions for it);