author | wenzelm |
Fri, 16 Apr 1999 18:52:03 +0200 | |
changeset 6449 | d031cb5ea2fc |
parent 6448 | 932f27366c8f |
child 6450 | 990e6e2dee26 |
--- 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;