lexing: progs/sml/README@3938480e17f7 (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>
	Sat, 19 Mar 2022 13:55:38 +0000
changeset 454	3938480e17f7
parent 317	db0ff630bbb7
permissions	-rw-r--r--