| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2003-03-29 | Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz. | jmmv | 1 | -2/+2 |
| 2003-03-21 | Use smlnj's Makefile.common for platform support checks. | wiz | 1 | -22/+2 |
| 2003-03-21 | sml-nj renamed to smlnj. | wiz | 1 | -3/+3 |
| 2003-01-22 | Initial import of twelf-1.4 as contributed by Christopher Richards in | kristerw | 7 | -0/+562 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |