projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 2 Oct 2011 02:39:02 +0000 (19:39 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 2 Oct 2011 02:39:02 +0000 (19:39 -0700) | ||
| commit | 025c2de2effdd7177ca875998b65f51236c8c7c6 | |
| tree | b878b30a2eae6a5e94c83f6bf3d0e299a09014f6 | tree | snapshot |
| parent | be7ab3c195d3d5c4e7883b090c68fa56df2b1dcb | commit | diff |