NEWS
changeset 10862 857688d775b0
parent 10858 479dad7b3b41
child 10868 5af3906edec8
     1.1 --- a/NEWS	Wed Jan 10 20:20:10 2001 +0100
     1.2 +++ b/NEWS	Wed Jan 10 20:21:11 2001 +0100
     1.3 @@ -47,6 +47,8 @@
     1.4  actual human-readable proof documents.  Please do not include goal
     1.5  states into document output unless you really know what you are doing!
     1.6  
     1.7 +* isatool unsymbolize tunes sources for plain ASCII communication;
     1.8 +
     1.9  
    1.10  *** Isar ***
    1.11