| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2004-11-30 | Import rsltc-2.4, provided by Marko Schütz in PR 28405. | wiz | 1 | -0/+25 | |
| 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 |