projects / darcs-mirror-agda-free-groups.git / summary
| 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 |
| 6 years ago | master | shortlog | log | tree |