New Development Tools Scripts for David Matthews

Since the 4.0 version of Poly/ML, it now supports the full version of the language as given in the "Definition of Standard ML (Revised)", generally known as ML97.As well as being extremely fast and efficient implementation of Standard ML Poly/ML provides...