# HG changeset patch
# User wenzelm
# Date 881338582 -3600
# Node ID 162abcd128a18ab40cf99853db56c8574b6e1cb0
# Parent  11b217d9d8809365c191b8fc74c401a31fad4e9b
use_thy no longer requires writable current directory;

diff -r 11b217d9d880 -r 162abcd128a1 NEWS
--- 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 ***