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 <adam@megacz.com> | |
| Tue, 31 May 2011 01:58:37 +0000 (18:58 -0700) | ||
| commit | d97b00a6ff6e8e2244927d17bda4b9762fc3d716 | |
| tree | e67a41317d2b0b746ca4db9368ee62ad986f93cc | tree | snapshot |
| parent | 6a7c6977507488245ba4b8cabcf323920c25baef | commit | diff |