16 months ago wenzelm update documentation on simproc_setup;
16 months ago wenzelm tuned;
16 months ago wenzelm proper morphism;
16 months ago wenzelm simprocs may be distinguished via 'identifier': only works for ML antiquotation (see also 13252110a6fe);
16 months ago wenzelm more compact ML source;
16 months ago wenzelm more robust read_simproc_spec: proper error positions;
16 months ago wenzelm tuned signature;
16 months ago wenzelm more standard simproc_setup using ML antiquotation;
16 months ago wenzelm more standard simproc_setup using ML antiquotation;
16 months ago wenzelm more standard simproc_setup using ML antiquotation;
16 months ago wenzelm added ML antiquotation "simproc_setup";
16 months ago wenzelm clarified signature;
16 months ago wenzelm clarified signature;
16 months ago wenzelm tuned signature;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 tip