reorganized examples directory
[coq-hetmet.git] / Makefile
2011-03-28 Adam Megaczadd pushcheck
2011-03-27 Adam Megaczfix -dont-load-proofs option in Makefile
2011-03-25 Adam Megaczsplit Extraction.v so most can be compiled with -dont...
2011-03-25 Adam Megaczadd machinery to create merged Coq script GArrow.v
2011-03-21 Adam Megaczadd coq-categories as a submodule
2011-03-21 Adam MegaczMakefile update
2011-03-16 Adam MegaczMakefile fixes: ignore emacs droppings
2011-03-12 Adam Megaczupdate push-url in Makefile
2011-03-09 Adam Megaczmore Makefile updates
2011-03-07 Adam MegaczMakefile updates
2011-03-07 Adam Megaczgive HaskWeak its own type representation, fix numerous...
2011-03-07 Adam Megaczadded "publish" target to regenerate tex/pdf code
2011-03-02 Adam MegaczInitial checkin of Coq-in-GHC code