| changeset 6449 | d031cb5ea2fc |
| parent 6420 | c4072604378e |
| child 6461 | 99c34e50a2c6 |
--- 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;