make StrongAlt a parameter rather than field in StrongCaseBranch and ProofCaseBranch
[coq-hetmet.git] / Makefile
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