| Sat, 21 Oct 2023 11:24:34 +0200 | wenzelm | more standard simproc_setup using ML antiquotation; | changeset | files |
| Sat, 21 Oct 2023 00:25:40 +0200 | wenzelm | more standard simproc_setup using ML antiquotation; | changeset | files |
| Sat, 21 Oct 2023 00:13:12 +0200 | wenzelm | more standard simproc_setup using ML antiquotation; | changeset | files |
| Fri, 20 Oct 2023 22:19:05 +0200 | wenzelm | added ML antiquotation "simproc_setup"; | changeset | files |
| Fri, 20 Oct 2023 16:40:41 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 20 Oct 2023 11:03:09 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 19 Oct 2023 21:58:47 +0200 | wenzelm | tuned signature; | changeset | files |