| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2004-01-20 | Move WRKSRC definition away from the first paragraph in a Makefile. | agc | 1 | -2/+2 |
| 2003-08-09 | USE_NEW_TEXINFO is unnecessary now. | seb | 1 | -2/+1 |
| 2003-07-07 | Install documentation in pkgsrc canonical directories. | seb | 1 | -3/+18 |
| 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 | 1 | -0/+82 |
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |