]> git.siccegge.de Git - talk/coalgebraic-mu-calculus-cool-2.git/shortlog
talk/coalgebraic-mu-calculus-cool-2.git
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