| author | Christian Urban <christian dot urban at kcl dot ac dot uk> | 
| Thu, 31 Mar 2016 16:50:37 +0100 | |
| changeset 157 | 1fe44fb6d0a4 | 
| parent 156 | 6a43ea9305ba | 
| child 159 | 940530087f30 | 
| permissions | -rw-r--r-- | 
| 156 
6a43ea9305ba
updated implementations
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 1 | |
| 
6a43ea9305ba
updated implementations
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 2 | 1) call polyml | 
| 
6a43ea9305ba
updated implementations
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 3 | 2) use "re.ML"; |