projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 28 Mar 2011 08:44:04 +0000 (01:44 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Mon, 28 Mar 2011 08:44:04 +0000 (01:44 -0700) | ||
| commit | fd337b235014f43000773eb0d95168d89e93a893 | |
| tree | 826c0e89c0e3885fdc0ad00aa8d683836777fc1a | tree | snapshot |
| parent | 50747fb9b9a44a24ea7a29b8703706386f6cd092 | commit | diff |