From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 15 May 2011 07:00:10 +0000 (-0700)
Subject: update demo
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=6ae1b9b08da7c1d1f0de42afa1ccbf42acda3e62;hp=6ae1b9b08da7c1d1f0de42afa1ccbf42acda3e62;p=coq-hetmet.git

update demo
---