projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 423b0bd) | patch
pull baked-in branch automatically if correct coq version not found
authorAdam Megacz <megacz@cs.berkeley.edu>
Wed, 15 Jun 2011 00:27:12 +0000 (17:27 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Wed, 15 Jun 2011 00:27:12 +0000 (17:27 -0700)
commit09ecf444dc69f6d0129605b46aaa88531bbb6b87
tree464ed59a733f9393880cb962f241b513e1938584tree | snapshot
parent423b0bd3972c5bcbbd757cb715e13b5b9104a9a6commit | diff
pull baked-in branch automatically if correct coq version not found
Makefile diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC