lexing: progs/sml/README@3cfea5bb5e23 (annotated)

156 6a43ea9305ba updated implementations Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1
159 940530087f30 updated programs Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 156 diff changeset	2	1) call poly
156 6a43ea9305ba updated implementations Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	2) use "re.ML";
159 940530087f30 updated programs Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 156 diff changeset	4
940530087f30 updated programs Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 156 diff changeset	5	or, call directly
940530087f30 updated programs Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 156 diff changeset	6
317 db0ff630bbb7 updated Christian Urban <urbanc@in.tum.de> parents: 159 diff changeset	7	poly --use re.ML
159 940530087f30 updated programs Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 156 diff changeset	8
317 db0ff630bbb7 updated Christian Urban <urbanc@in.tum.de> parents: 159 diff changeset	9
db0ff630bbb7 updated Christian Urban <urbanc@in.tum.de> parents: 159 diff changeset	10
db0ff630bbb7 updated Christian Urban <urbanc@in.tum.de> parents: 159 diff changeset	11	poly --enable-compact32bit --use re.ML

author	Christian Urban <christian.urban@kcl.ac.uk>
	Wed, 02 Feb 2022 14:52:41 +0000
changeset 405	3cfea5bb5e23
parent 317	db0ff630bbb7
permissions	-rw-r--r--