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

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

description	none
owner	Christoph Egger <christoph.egger@fau.de>
last change	Mon, 25 Apr 2016 14:30:34 +0000 (16:30 +0200)
URL	git://git.siccegge.de/talk/coalgebraic-mu-calculus-cool-2.git
	ssh://git@git.siccegge.de/talk/coalgebraic-mu-calculus-cool-2.git
	https://git.siccegge.de/talk/coalgebraic-mu-calculus-cool-2.git

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

7 years ago