projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 29 Mar 2011 16:46:52 +0000 (09:46 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 29 Mar 2011 16:46:52 +0000 (09:46 -0700) | ||
| commit | ec8ee5cde986e5b38bcae38cda9e63eba94f1d9f | |
| tree | b9c21ffe30140275eb5ebded03f5dfd80ffc7437 | tree | snapshot |
| parent | b096aab78240e38ff69c120367e65be60cbc54f5 | commit | diff |