Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2004-03-07 | Remove info files entries from PLIST. | seb | 1 | -7/+1 |
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 | 4 | -40/+66 |
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 |