projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@gentzen.megacz.com> | |
| Tue, 30 Aug 2011 13:59:54 +0000 (06:59 -0700) | ||
| committer | Adam Megacz <megacz@gentzen.megacz.com> | |
| Tue, 30 Aug 2011 13:59:54 +0000 (06:59 -0700) | ||
| commit | 08b41911dfc33a7dcd24aa26a83ac174aa67a826 | |
| tree | 692047495d180290042de92e0e1442c8cad4ce6d | tree | snapshot |
| parent | 6e1e4b67d01a6447f7dd44f7b5450ddc400000d9 | commit | diff |
| parent | 6ba2c98f5e7f9c00651d6050a98d1d7aab758958 | commit | diff |