| changeset 10862 | 857688d775b0 |
| parent 10858 | 479dad7b3b41 |
| child 10868 | 5af3906edec8 |
--- 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 ***