projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95d220b) | patch
added "publish" target to regenerate tex/pdf code
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 13:41:24 +0000 (05:41 -0800)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 13:41:24 +0000 (05:41 -0800)
commita5cc4e8d9bbdb4b462de09a221f958bf3020895e
treeb497e1ad10582d8fae66d1fd8be219151dbc2e9etree | snapshot
parent95d220bc417942c682bffa4adcd89513711486aecommit | diff
added "publish" target to regenerate tex/pdf code
Makefile diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC