projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 2 Apr 2011 22:49:20 +0000 (15:49 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sat, 2 Apr 2011 22:49:20 +0000 (15:49 -0700) | ||
| commit | d1a4d10de986d774d3cfb10348036cb60bc80277 | |
| tree | 7c88d52a728206c77ce9c2690e809b4e78df7898 | tree | snapshot |
| parent | e83fd6f566ed0a7aaff19d67c2c2b64d08f98f7c | commit | diff |