projects / coq-categories.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0acb742) | patch
Makefile: insist on native-compiled Coq
authorAdam Megacz <megacz@cs.berkeley.edu>
Sun, 3 Apr 2011 04:09:12 +0000 (04:09 +0000)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sun, 3 Apr 2011 04:09:12 +0000 (04:09 +0000)
commitb0262af94b62376527556d79b10c4f1de29a9565
treefb1c6954cf12a5babd6e0ea9b33484f1a4c32e07tree | snapshot
parent0acb7427506809b45fade2fa7f16ad13d6df40b3commit | diff
Makefile: insist on native-compiled Coq
Makefile diff | blob | history
formalization of basic category theory in Coq