2011-03-16 | Adam Megacz | Makefile fixes: ignore emacs droppings | blob | commitdiff |
2011-03-12 | Adam Megacz | update push-url in Makefile | blob | commitdiff | diff to current |
2011-03-09 | Adam Megacz | more Makefile updates | blob | commitdiff | diff to current |
2011-03-07 | Adam Megacz | Makefile updates | blob | commitdiff | diff to current |
2011-03-07 | Adam Megacz | give HaskWeak its own type representation, fix numerous... | blob | commitdiff | diff to current |
2011-03-07 | Adam Megacz | added "publish" target to regenerate tex/pdf code | blob | commitdiff | diff to current |
2011-03-02 | Adam Megacz | Initial checkin of Coq-in-GHC code | blob | commitdiff | diff to current |