Commit graph

7 commits

Author SHA1 Message Date
Johan van Selst
0ada2332b8 Old master site disappeared, set new location
Approved by:	portmgr (miwi)
2013-03-30 10:11:19 +00:00
Joseph Koshy
3fc071f075 Update to v201:
- Add RESTRICTED (licensing issues).
  - Install stuff in standard places.
  - Install examples.
  - Install readmes/licenses.
  - Respect NOPORTDOCS.
  - New MAINTAINER.

PR:		ports/62704
Submitted by:	debios@diku.dk
2005-02-26 06:41:44 +00:00
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