Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |