projects / coq-hetmet.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 10 May 2011 02:56:44 +0000 (19:56 -0700) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Tue, 10 May 2011 02:56:44 +0000 (19:56 -0700) | ||
| commit | f9cd51c59e630b43363f71c6aef15115de007dbf | |
| tree | 6601599df3ae74bddb89f8d5628dc059b682ce7d | tree | snapshot |
| parent | 2da83e6cfd727f142489859160b7d57bfa80a3be | commit | diff |
| .gitignore | diff | blob | history |