Next | Query returned 24 messages, browsing 21 to 30 | previous

History of commit frequency

CVS Commit History:


   2005-04-11 23:48:17 by Todd Vierling | Files touched by this commit (3539)
Log message:
Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.
   2005-02-23 23:24:35 by Alistair G. Crooks | Files touched by this commit (505)
Log message:
Add RMD160 digests.
   2004-12-02 14:09:24 by Thomas Klausner | Files touched by this commit (1)
Log message:
Add BUILD_DEPENDS on bison. Should fix bulk build problem.
   2004-11-30 09:24:18 by Thomas Klausner | Files touched by this commit (5) | Imported package
Log message:
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.

Next | Query returned 24 messages, browsing 21 to 30 | previous