]> git.siccegge.de Git - talk/coalgebraic-mu-calculus-cool-2.git/summary
 
descriptionnone
ownerChristoph Egger <christoph.egger@fau.de>
last changeMon, 25 Apr 2016 14:30:34 +0000 (16:30 +0200)
shortlog
2016-04-25 Christoph EggerMisc fixes master
2016-04-25 Christoph Eggeradd some benchmarks
2016-04-25 Christoph Eggerunify on COOL spelling
2016-04-25 Christoph Eggeradd clone url to last slide
2016-04-25 Christoph Eggerunabbreviate title
2016-04-25 Christoph EggerAdd more text
2016-04-24 Christoph EggerEmpty template
heads
8 years ago master