# HG changeset patch
# User oheimb
# Date 908797825 -7200
# Node ID da670b37857e7034997c07d16256fc79875fe5ce
# Parent  5e7d9455de96567549c98a7bd7a2991098881695
layout

diff -r 5e7d9455de96 -r da670b37857e NEWS
--- a/NEWS	Mon Oct 19 13:34:19 1998 +0200
+++ b/NEWS	Mon Oct 19 13:50:25 1998 +0200
@@ -53,10 +53,10 @@
   delWrapper, delSWrapper: claset *  string            -> claset
   getWrapper is renamed to appWrappers, getSWrapper to appSWrappers;
 
-* Classical reasoner: addbefore / addSbefore now have APPEND / ORELSE semantics;
+* Classical reasoner: addbefore/addSbefore now have APPEND/ORELSE semantics;
   addbefore now affects only the unsafe part of step_tac etc.;
-  This affects addss/auto_tac/force_tac, so EXISTING (INSTABLE) PROOFS MAY FAIL, but
-  most proofs should be fixable easily, e.g. by replacing Auto_tac by Force_tac.
+  This affects addss/auto_tac/force_tac,so EXISTING (INSTABLE) PROOFS MAY FAIL,
+  but proofs should be fixable easily, e.g. by replacing Auto_tac by Force_tac.
 
 * Classical reasoner: setwrapper to setWrapper and compwrapper to compWrapper; 
   added safe wrapper (and access functions for it);