lexing: progs/sml/README@660cf698eb26 (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