wenzelm [Sun, 22 Oct 2023 13:56:52 +0200] rev 78814
tuned;
wenzelm [Sun, 22 Oct 2023 12:18:23 +0200] rev 78813
proper morphism;
wenzelm [Sat, 21 Oct 2023 21:19:02 +0200] rev 78812
simprocs may be distinguished via 'identifier': only works for ML antiquotation (see also 13252110a6fe);
wenzelm [Sat, 21 Oct 2023 14:36:47 +0200] rev 78811
more compact ML source;
wenzelm [Sat, 21 Oct 2023 12:02:23 +0200] rev 78810
more robust read_simproc_spec: proper error positions;
wenzelm [Sat, 21 Oct 2023 11:34:37 +0200] rev 78809
tuned signature;
wenzelm [Sat, 21 Oct 2023 11:24:34 +0200] rev 78808
more standard simproc_setup using ML antiquotation;
wenzelm [Sat, 21 Oct 2023 00:25:40 +0200] rev 78807
more standard simproc_setup using ML antiquotation;
wenzelm [Sat, 21 Oct 2023 00:13:12 +0200] rev 78806
more standard simproc_setup using ML antiquotation;
wenzelm [Fri, 20 Oct 2023 22:19:05 +0200] rev 78805
added ML antiquotation "simproc_setup";
wenzelm [Fri, 20 Oct 2023 16:40:41 +0200] rev 78804
clarified signature;
wenzelm [Fri, 20 Oct 2023 11:03:09 +0200] rev 78803
clarified signature;
clarified modules;
wenzelm [Thu, 19 Oct 2023 21:58:47 +0200] rev 78802
tuned signature;
wenzelm [Thu, 19 Oct 2023 21:38:09 +0200] rev 78801
tuned signature;
wenzelm [Thu, 19 Oct 2023 17:06:39 +0200] rev 78800
clarified signature;
wenzelm [Thu, 19 Oct 2023 16:31:17 +0200] rev 78799
clarified syntax and order of parameters;