1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-04 06:15:24 +00:00
Commit Graph

5 Commits

Author SHA1 Message Date
Joseph Koshy
dcd902f846 Upgrade to v2.0.
Submitted by:	Johannes 5 Joemann <joemann@beefree.free.de>
2002-05-30 10:47:57 +00:00
Michael Haro
99e0b1f29f Yet more WWW: additions 1999-05-03 06:13:27 +00:00
Chuck Robey
ddf1a25991 Add pointer to smlnnj for those with plenty of disk. 1998-08-02 17:40:51 +00:00
Chuck Robey
555f6b44ac Update moscow_ml to version 1.43. This is a good version of ml if
you are limited in space.  If you have no space limitations, I'd really
recommend the new smlnj port instead.
1998-08-02 17:38:24 +00:00
Chuck Robey
5b2f4c2d0e Submitted by: chuckr
New version of the sml programming language, based upon caml.
1996-07-28 02:44:11 +00:00