projects / talk / coalgebraic-mu-calculus-cool-2.git / shortlog
| 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 |