projects / coq-hetmet.git / commit
| author | Adam Megacz <adam@megacz.com> | |
| Tue, 31 May 2011 01:30:46 +0000 (18:30 -0700) | ||
| committer | Adam Megacz <adam@megacz.com> | |
| Tue, 31 May 2011 01:30:46 +0000 (18:30 -0700) | ||
| commit | 6a7c6977507488245ba4b8cabcf323920c25baef | |
| tree | ceb380c7857ab52dc253dda607eecc6fa91e095b | tree | snapshot |
| parent | d9117c50c1e7d287651720b5cda988c8821b8d62 | commit | diff |