--- a/progs/sml/README	Fri Apr 01 16:29:33 2016 +0100
+++ b/progs/sml/README	Tue Apr 05 09:27:36 2016 +0100
@@ -1,3 +1,8 @@
 
-1) call polyml
+1) call poly
 2) use "re.ML";
+
+or, call directly
+
+
+poly --use re.ML 
\ No newline at end of file