# HG changeset patch
# User wenzelm
# Date 924281523 -7200
# Node ID d031cb5ea2fcd8503145e111de6e0827dde5ae5a
# Parent  932f27366c8fa2f7d8f6c12db66931243f82b22b
loadpath replaced;

diff -r 932f27366c8f -r d031cb5ea2fc NEWS
--- a/NEWS	Fri Apr 16 17:48:46 1999 +0200
+++ b/NEWS	Fri Apr 16 18:52:03 1999 +0200
@@ -33,6 +33,10 @@
 
 *** General ***
 
+* theory loader rewritten from scratch (may not be fully
+bug-compatible); old loadpath variable has been replaced by show_path,
+add_path, del_path, reset_path functions;
+
 * in locales, the "assumes" and "defines" parts may be omitted if
 empty;