projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 21 Jun 2011 03:02:25 +0000 (20:02 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 21 Jun 2011 03:02:25 +0000 (20:02 -0700) | ||
| commit | 3161a8a65cb0190e83d32bde613c3b64dfe31739 | |
| tree | e8dfbe3b5467d364b5be8b964295184c1ef5de52 | tree | snapshot |
| parent | 83ea5d8ef61c6a711a411a198f61f2a359ce0cba | commit | diff |