move to new normalization-based optimizer, add GArrowSkeleton.beautify
[coq-hetmet.git] / Makefile
2011-06-15 Adam Megaczpull baked-in branch automatically if correct coq versi...
2011-05-10 Adam Megaczhave Makefile check for coq 8.3pl2-tracer
2011-04-24 Adam Megaczadd examples targets to Makefile
2011-04-11 Adam Megaczuse the $(MAKE) variable so -j2 works
2011-04-10 Adam Megaczseparate CoqPass.hs from All.v in Makefile
2011-04-10 Adam Megaczfill in lots of missing proofs
2011-04-02 Adam Megaczfix Makefile bug
2011-04-02 Adam Megaczadd extra targets to Makefile
2011-03-29 Adam Megaczlots of cleanup
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