[xtc-announce] xtc 1.13.2

Robert Grimm rgrimm at cs.nyu.edu
Sat Dec 1 18:10:54 EST 2007

It is my pleasure to announce xtc version 1.13.2, which adds several  
minor features, notably a type checker for C written in Typical, while  
also squashing a bunch of bugs. As always, enjoy at http://cs.nyu.edu/rgrimm/xtc/ 
. The new Jeannie user guide lives at http://cs.nyu.edu/rgrimm/xtc/jeannie.html 


More information about the xtc-announce mailing list