progs/sml/README
changeset 156 6a43ea9305ba
child 159 940530087f30
equal deleted inserted replaced
155:c9027db225cc 156:6a43ea9305ba
       
     1 
       
     2 1) call polyml
       
     3 2) use "re.ML";