git.siccegge.de Git - talk/coalgebraic-mu-calculus-cool-2.git/search

]> git.siccegge.de Git - talk/coalgebraic-mu-calculus-cool-2.git/search

projects / talk / coalgebraic-mu-calculus-cool-2.git / search

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2016-04-25	Christoph Egger	Misc fixes	commit \| commitdiff \| tree
2016-04-25	Christoph Egger	add some benchmarks	commit \| commitdiff \| tree
2016-04-25	Christoph Egger	unify on COOL spelling	commit \| commitdiff \| tree
2016-04-25	Christoph Egger	add clone url to last slide	commit \| commitdiff \| tree
2016-04-25	Christoph Egger	unabbreviate title	commit \| commitdiff \| tree
2016-04-25	Christoph Egger	Add more text	commit \| commitdiff \| tree
2016-04-24	Christoph Egger	Empty template	commit \| commitdiff \| tree