| Sun, 22 Oct 2023 15:25:08 +0200 | wenzelm | update documentation on simproc_setup; | changeset | files |
| Sun, 22 Oct 2023 13:56:52 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 22 Oct 2023 12:18:23 +0200 | wenzelm | proper morphism; | changeset | files |
| 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 |
| Sat, 21 Oct 2023 11:34:37 +0200 | wenzelm | tuned signature; | changeset | files |