2012-04-03 | Adam Megacz | update .gitignore | blob | commitdiff |
2011-05-10 | Adam Megacz | add examples/.build to gitignore | blob | commitdiff | diff to current |
2011-03-14 | Adam Megacz | add tutorial.coqpass to gitignore | blob | commitdiff | diff to current |
2011-03-02 | Adam Megacz | Initial checkin of Coq-in-GHC code | blob | commitdiff | diff to current |