projects / coq-categories.git / commit
| author | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 3 Apr 2011 04:08:55 +0000 (04:08 +0000) | ||
| committer | Adam Megacz <megacz@cs.berkeley.edu> | |
| Sun, 3 Apr 2011 04:08:55 +0000 (04:08 +0000) | ||
| commit | 0acb7427506809b45fade2fa7f16ad13d6df40b3 | |
| tree | ac545bfed6a71cf79ae181e25ca4d6ff846514a6 | tree | snapshot |
| parent | 21607813788d83fb58ce128df442a4ee3edfbdaf | commit | diff |
| README | [new file with mode: 0644] | blob |