Commit Graph

2 Commits

Author SHA1 Message Date
Matthew Flatt
b57cf0134f fix typos 2011-07-02 19:18:11 -06:00
Matthew Flatt
1160d3df62 remove syntax certificates; add syntax taints 2011-06-29 19:15:48 -06:00