| Sat, 21 Oct 2023 21:19:02 +0200 | wenzelm | simprocs may be distinguished via 'identifier': only works for ML antiquotation (see also 13252110a6fe); | changeset | files |
| Sat, 21 Oct 2023 14:36:47 +0200 | wenzelm | more compact ML source; | changeset | files |
| Sat, 21 Oct 2023 12:02:23 +0200 | wenzelm | more robust read_simproc_spec: proper error positions; | changeset | files |