projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dadeee8) | patch
update .gitignore
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 3 Apr 2012 04:44:33 +0000 (21:44 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 3 Apr 2012 04:44:33 +0000 (21:44 -0700)
commit53d0f180a43622e1736925647d6df7b2bcb975e6
tree4f3c18c44e6b602c1bb3bdc7e64e94b7e5e5500ftree | snapshot
parentdadeee86855fd6acf1ba00778fe12c1e425f1842commit | diff
update .gitignore
.gitignore diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC