kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
167131 commits 166 branches 0 tags 1.5 GiB
Commit graph

2 commits

Author SHA1 Message Date
rillig
f795c2e475 Removed trailing white-space. 2005-05-23 08:26:03 +00:00
wiz
f39e5171b6 Import rsltc-2.4, provided by Marko Schütz in PR 28405. 
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.
 2004-11-30 08:24:18 +00:00