projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 542be54) | patch
Makefile: use -f when doing git pull for baked-in branch
authorAdam Megacz <megacz@cs.berkeley.edu>
Wed, 15 Jun 2011 19:32:23 +0000 (12:32 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Wed, 15 Jun 2011 19:32:23 +0000 (12:32 -0700)
commit7c9df3b89842f11d0bcb00ab24012160174e5f7a
tree08d23a5821fc62cf4b38a8893553c429ed652d5etree | snapshot
parent542be54b8968c631f0c397272cf05871ccef425bcommit | diff
Makefile: use -f when doing git pull for baked-in branch
Makefile diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC