projects / coq-hetmet.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Tue, 31 May 2011 01:58:37 +0000 (18:58 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 31 May 2011 21:57:19 +0000 (14:57 -0700) | ||
| commit | af41ffb1692ae207554342ccdc3bf73abaa75a01 | |
| tree | e67a41317d2b0b746ca4db9368ee62ad986f93cc | tree | snapshot |
| parent | cd81fca459c551077b485b1c1b297b3be1c43f3a | commit | diff |