From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Tue, 4 Oct 2011 19:19:23 +0000 (-0500)
Subject: Merge /afs/megacz.com/.pub/software/coq-hetmet
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=2b7abc4857605fec500dac5242280c82dbfee883

Merge /afs/megacz.com/.pub/software/coq-hetmet
---

2b7abc4857605fec500dac5242280c82dbfee883