From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 27 Mar 2011 19:21:45 +0000 (-0700)
Subject: fix -dont-load-proofs option in Makefile
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=165690fe34fc2c88efa57cd2212db1ee324c4385;hp=165690fe34fc2c88efa57cd2212db1ee324c4385

fix -dont-load-proofs option in Makefile
---