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

2 commits

Author SHA1 Message Date
joerg
bacea7cad5 Remove @dirrm entries from PLISTs 2009-06-14 17:48:39 +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