| Fri, 05 May 2000 22:32:49 +0200 | wenzelm | removed dead code: listof; | changeset | files |
| Fri, 05 May 2000 22:32:25 +0200 | wenzelm | use Args.colon / Args.parens; | changeset | files |
| Fri, 05 May 2000 22:30:14 +0200 | wenzelm | adapted to new arithmetic simprocs; | changeset | files |
| Fri, 05 May 2000 22:29:02 +0200 | wenzelm | added scan_to_id (used to be in Pure/section_utils.ML); | changeset | files |
| Fri, 05 May 2000 22:25:17 +0200 | wenzelm | removed Pure/section_utils.ML; | changeset | files |
| Fri, 05 May 2000 22:24:47 +0200 | wenzelm | improved syntax of method options (no_asm) etc; | changeset | files |
| Fri, 05 May 2000 22:24:03 +0200 | wenzelm | removed index2; | changeset | files |