]> git.siccegge.de Git - talk/coalgebraic-mu-calculus-cool-2.git/commitdiff
projects / talk / coalgebraic-mu-calculus-cool-2.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 967f838)
unify on COOL spelling
authorChristoph Egger <christoph@christoph-egger.org>
Mon, 25 Apr 2016 14:09:20 +0000 (16:09 +0200)
committerChristoph Egger <christoph@christoph-egger.org>
Mon, 25 Apr 2016 14:09:20 +0000 (16:09 +0200)

No differences found