description | Mirror of http://darcs.nomeata.de/agda-free-groups |
owner | nomeata |
last change | Tue, 11 Sep 2012 15:19:58 +0000 (15:19 +0000) |
URL | git://git.nomeata.de/darcs-mirror-agda-free-groups.git |
git+ssh://gitolite@git.nomeata.de/darcs-mirror-agda-free-groups.git |
2012-09-11 | Joachim Breitner | Show Universal Property master | commit | commitdiff | tree | snapshot |
2012-05-07 | Joachim Breitner | Cleanup | commit | commitdiff | tree | snapshot |
2012-05-07 | Joachim Breitner | Initial check-in | commit | commitdiff | tree | snapshot |
8 years ago | master | shortlog | log | tree |