aboutsummaryrefslogtreecommitdiffstats
path: root/lang/sml-nj-devel
Commit message (Expand)AuthorAgeFilesLines
* - Unbreak for 5-CURRENTjkoshy2003-03-305-12/+69
* De-pkg-comment.knu2003-02-212-1/+1
* Update to v110.42.jkoshy2002-11-226-39/+39
* Update to v110.41.jkoshy2002-07-192-18/+18
* Upgrade to v110.40.jkoshy2002-06-098-137/+48
* Upgrade to v110.39. Compilation of this port is now controlled by threejkoshy2002-03-269-151/+285
* Use ${ECHO_CMD} instead of ${ECHO} where you mean the echo command;knu2002-01-291-4/+4
* Change MAINTAINER to the capable hands of Johannes 5 Joemannjkoshy2002-01-141-1/+1
* Update to v110.37.jkoshy2001-12-207-158/+187
* Upgrade to SML/NJ v110.34. Add a number of nifty configurability options.jkoshy2001-08-2411-186/+352
* Upgrade to development version 110.33.jkoshy2001-06-188-341/+379
* Rename ${FILISDER}/patch-* to ${FILESDIRA}/extra-patch-*. (These patchesasami2000-10-081-2/+2
* `sml-nj-devel' will be tracking SML/NJ working snapshots. Set NO_LATEST_LINKjkoshy2000-05-291-0/+2
* Convert to the PORTNAME - PORTVERSION syntax.obrien2000-04-121-23/+22
* Fix building of SML/NJ under 4-CURRENT after 1999/7/25.jkoshy2000-01-282-3/+30
* Change Id->FreeBSD.obrien1999-08-251-1/+1
* awk -> ${AWK}mharo1999-08-231-2/+2
* chmod -> ${CHMOD}mharo1999-08-231-2/+2
* Commit #3/4 to enforce caps, no period.hoek1999-06-271-1/+1
* Yet more WWW: additionsmharo1999-05-031-1/+1
* Correct stale patch.jkoshy1999-02-021-8/+8
* Forced commit to record unbreaking for ELF.jkoshy1999-02-021-1/+1
* Add patch for ELF support.jkoshy1999-02-021-0/+15
* Unbreak for ELF.jkoshy1999-02-022-3/+15
* Clean up MASTER_SITES. Remove unneeded patch.jkoshy1998-11-221-5/+9
* Upgrade to v110.9.1. Unbreak.jkoshy1998-11-206-47/+281
* Refer people needed a lighter weight implementation of ML to Chuck Robey'sjkoshy1998-08-031-0/+4
* Mark port as BROKEN till issues on library source paths, usage of thejkoshy1998-07-201-1/+3
* A Standard ML implementation from Bell Labs.jkoshy1998-07-155-0/+98
generated by cgit (git 2.34.1) at 2024-11-18 00:41:05 +0800