NEWS
changeset 9052 7db48fe85b05
parent 9028 8a1ec8f05f14
child 9057 af1ca1acf292
     1.1 --- a/NEWS	Wed Jun 07 14:19:48 2000 +0200
     1.2 +++ b/NEWS	Wed Jun 07 14:20:16 2000 +0200
     1.3 @@ -201,6 +201,8 @@
     1.4  * compression of ML heaps images may now be controlled via -c option
     1.5  of isabelle and isatool usedir (currently only observed by Poly/ML);
     1.6  
     1.7 +* provide TAGS file for Isabelle sources;
     1.8 +
     1.9  * ML: renamed flags Syntax.trace_norm_ast to Syntax.trace_ast; global
    1.10  timing flag supersedes proof_timing and Toplevel.trace;
    1.11