Commit graph

3 commits

Author SHA1 Message Date
David Somero
36173e2a57 development/polyml: Misc automated cleanups.
Signed-off-by: David Somero <xgizzmo@slackbuilds.org>
2010-06-04 01:03:25 -04:00
David Somero
0b9c41b04d development/polyml: Fixed for bash4. 2010-05-19 02:33:52 -04:00
Eugene Suter
7b3baab610 development/polyml: Added (full implementation of Standard ML) 2010-05-15 10:38:05 +02:00