From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 3 Apr 2011 04:09:12 +0000 (+0000)
Subject: Makefile: insist on native-compiled Coq
X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=commitdiff_plain;h=b0262af94b62376527556d79b10c4f1de29a9565;hp=b0262af94b62376527556d79b10c4f1de29a9565

Makefile: insist on native-compiled Coq
---