projects / darcs-mirror-gpn12-agda-talk.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionMirror of http://darcs.nomeata.de/gpn12-agda-talk
ownernomeata
last changeThu, 7 Jun 2012 21:42:12 +0000
URLgit://git.nomeata.de/darcs-mirror-gpn12-agda-talk.git
git+ssh://gitolite@git.nomeata.de/darcs-mirror-gpn12-agda-talk.git
shortlog
2012-06-07 Joachim BreitnerSlide-SVG ohne bunte Rahmen master Vortrag commit | commitdiff | tree | snapshot
2012-06-07 Joachim BreitnerHevea-Spielereien commit | commitdiff | tree | snapshot
2012-06-07 Joachim BreitnerSozi-Anpassungen commit | commitdiff | tree | snapshot
2012-06-07 Joachim BreitnerMehr li-DivModUtils-Verweise commit | commitdiff | tree | snapshot
2012-06-07 Joachim BreitnerSponsor-Statement commit | commitdiff | tree | snapshot
2012-06-07 Joachim BreitnerAvoid <, use ≤ commit | commitdiff | tree | snapshot
2012-06-07 Joachim BreitnerElaborate Howard-Curry commit | commitdiff | tree | snapshot
2012-06-07 Joachim BreitnerClean up import statements commit | commitdiff | tree | snapshot
2012-06-07 Joachim BreitnerRemove some empty lins commit | commitdiff | tree | snapshot
2012-06-07 Joachim BreitnerAdd Howard-Curry-Isomorphism commit | commitdiff | tree | snapshot
2012-06-06 Joachim BreitnerDatum commit | commitdiff | tree | snapshot
2012-06-06 Joachim BreitnerKleine Fixes am TExt commit | commitdiff | tree | snapshot
2012-06-06 Joachim BreitnerMehr Logos commit | commitdiff | tree | snapshot
2012-06-06 Joachim BreitnerUpgrade sozi commit | commitdiff | tree | snapshot
2012-06-06 Joachim BreitnerAdd Sozi talk files commit | commitdiff | tree | snapshot
2012-06-06 Joachim BreitnerAppendix about termination commit | commitdiff | tree | snapshot
...
tags
11 months ago Vortrag Vortrag tag | commit | shortlog | log
heads
11 months ago master shortlog | log | tree
Mirror of http://darcs.nomeata.de/gpn12-agda-talk