| Tue, 30 May 2000 16:03:09 +0200 | wenzelm | global timing flag; | changeset | files |
| Tue, 30 May 2000 16:02:56 +0200 | wenzelm | fixed comment; | changeset | files |
| Tue, 30 May 2000 16:02:27 +0200 | wenzelm | renamed trace/stat_norm_ast to trace/stat_ast; | changeset | files |
| Tue, 30 May 2000 16:01:29 +0200 | wenzelm | renamed Syntax.trace_norm_ast to Syntax.trace_ast; | changeset | files |