projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@gentzen.megacz.com> | |
| Sun, 19 Jun 2011 13:55:22 +0000 (06:55 -0700) | ||
| committer | Adam Megacz <megacz@gentzen.megacz.com> | |
| Sun, 19 Jun 2011 13:55:22 +0000 (06:55 -0700) | ||
| commit | 4f540f4fabc71831e644c71d2e2fa989bb7746bd | |
| tree | 1998cfe0ba09c1b6c2a70b30eb20268de9668920 | tree | snapshot |
| parent | 3a2879d925d4e13e9c89bc768df111684d2b4a59 | commit | diff |
| parent | 02994d74f6a67319c1faef8bc1b67023faa10484 | commit | diff |