move to new normalization-based optimizer, add GArrowSkeleton.beautify
[coq-hetmet.git] / .gitignore
2011-05-10 Adam Megaczadd examples/.build to gitignore
2011-03-14 Adam Megaczadd tutorial.coqpass to gitignore
2011-03-02 Adam MegaczInitial checkin of Coq-in-GHC code