changeset 4370 | 162abcd128a1 |
parent 4361 | c77a484e4f95 |
child 4373 | 2f831a45d571 |
--- a/NEWS Fri Dec 05 17:14:36 1997 +0100 +++ b/NEWS Fri Dec 05 17:16:22 1997 +0100 @@ -68,6 +68,7 @@ use isatool fixseq to adapt your ML programs (this works for fully qualified references to the Sequence structure only!); +* use_thy no longer requires writable current directory; *** Classical Reasoner ***