diff -r f2ffa2d97533 -r 857688d775b0 NEWS
--- a/NEWS	Wed Jan 10 20:20:10 2001 +0100
+++ b/NEWS	Wed Jan 10 20:21:11 2001 +0100
@@ -47,6 +47,8 @@
 actual human-readable proof documents.  Please do not include goal
 states into document output unless you really know what you are doing!
 
+* isatool unsymbolize tunes sources for plain ASCII communication;
+
 
 *** Isar ***