projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 14 Mar 2011 23:24:11 +0000 (16:24 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 14 Mar 2011 23:24:11 +0000 (16:24 -0700) | ||
| commit | 69d1a3f3ecf6a0651a59d2ec4fb22896c2d1a822 | |
| tree | 824ddb5fe4d56c860cc882bce62a08f49d88f8f6 | tree | snapshot |
| parent | d27f16afa35d72c4448c3a110eee7627c8bef564 | commit | diff |
| .gitignore | diff | blob | history |