# HG changeset patch
# User wenzelm
# Date 878641497 -3600
# Node ID 98c8f40f7bbee586cb8bf9be1680bb43e6eb3c03
# Parent  93baba60ece25d6f6c18a495bfa8a53daffa000a
tuned;

diff -r 93baba60ece2 -r 98c8f40f7bbe NEWS
--- a/NEWS	Tue Nov 04 12:03:48 1997 +0100
+++ b/NEWS	Tue Nov 04 12:04:57 1997 +0100
@@ -31,7 +31,7 @@
 
 * theory aliases via merge (e.g. M=A+B+C) no longer supported, always
 creates a new theory node; implicit merge of thms' signatures is
-restricted to 'trivial' ones, thus one may have to use
+restricted to 'trivial' ones; COMPATIBILITY: one may have to use
 transfer:theory->thm->thm in (rare) cases;
 
 * improved handling of draft signatures / theories; draft thms (and