tuned;
authorwenzelm
Tue, 04 Nov 1997 12:04:57 +0100
changeset 4112 98c8f40f7bbe
parent 4111 93baba60ece2
child 4113 f7130dcacefa
tuned;
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