| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2005-06-16 | Create directories before installing files into them. | jlam | 1 | -1/+2 | |
| 2005-05-23 | Removed trailing white-space. | rillig | 1 | -3/+3 | |
| 2005-05-22 | Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions: | jlam | 1 | -2/+2 | |
| USE_GNU_TOOLS -> USE_TOOLS awk -> gawk m4 -> gm4 make -> gmake sed -> gsed yacc -> bison | |||||
| 2005-04-11 | Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used. | tv | 1 | -2/+1 | |
| 2005-02-23 | Add RMD160 digests. | agc | 1 | -1/+2 | |
| 2004-12-02 | Add BUILD_DEPENDS on bison. Should fix bulk build problem. | wiz | 1 | -1/+2 | |
| 2004-11-30 | Import rsltc-2.4, provided by Marko Schütz in PR 28405. | wiz | 5 | -0/+75 | |
| rsltc provides type-checking, pretty-printing, generation of confidence conditions, showing module dependencies, translation to Standard ML, to C++, and to PVS, and translation to RSL from UML class diagrams. | |||||
 |
index : pkgsrc | |
| [no description] | Dyson |
| summaryrefslogtreecommitdiff |