# HG changeset patch
# User kleing
# Date 1070693537 -3600
# Node ID 516358ca7b42e798b3a3df7d077e839fa84240d8
# Parent  b23f028c16516f8cbf11e29568bfc99b62d0865b
moreover and also do not reset facts any more

diff -r b23f028c1651 -r 516358ca7b42 NEWS
--- a/NEWS	Sat Dec 06 07:50:01 2003 +0100
+++ b/NEWS	Sat Dec 06 07:52:17 2003 +0100
@@ -46,6 +46,9 @@
   the instantiation string.  This fixes a bug that caused instantiated
   theorems to have too special types in some circumstances.
 
+* Calculation commands "moreover" and "also":
+  Do not reset facts ("this") any more.
+
 * Locales:
   - Goal statements involving the context element "includes" no longer
     generate theorems with internal delta predicates (those ending on