make EBinoidalCat action-on-objects a parameter instead of field
[coq-categories.git] / Makefile
2011-04-03 Adam MegaczMakefile: insist on native-compiled Coq
2011-03-11 Adam Megaczinitial checkin of coq-categories library