projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Wed, 6 Apr 2011 07:22:14 +0000 (07:22 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Wed, 6 Apr 2011 07:22:14 +0000 (07:22 +0000) | ||
| commit | 90844bf411c7cddcd92d48c0b020e5775ace0849 | |
| tree | 62614e2c3e0baa3cea2956bbd8b34f6a9f5f8551 | tree | snapshot |
| parent | 2403342ad32f12dd56a82ce575dd2d35d91f545a | commit | diff |