]> git.siccegge.de Git - talk/coalgebraic-mu-calculus-cool.git/log
projects / talk / coalgebraic-mu-calculus-cool.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next ⋅ patches
talk/coalgebraic-mu-calculus-cool.git
8 years agoTemplate and stuff master
commit | commitdiff | tree
Christoph Egger [Tue, 12 Jan 2016 12:48:26 +0000 (13:48 +0100)]
Template and stuff