repositories / tt1516.git / shortlog
| 2016-01-26 | Mart Lubbers | update master | commit | commitdiff | tree | snapshot |
| 2016-01-26 | Mart Lubbers | added part about automata learinng | commit | commitdiff | tree | snapshot |
| 2016-01-21 | Mart Lubbers | mbt done' | commit | commitdiff | tree | snapshot |
| 2016-01-21 | Mart Lubbers | mbt slides1 done | commit | commitdiff | tree | snapshot |
| 2016-01-20 | Mart Lubbers | update | commit | commitdiff | tree | snapshot |
| 2015-11-30 | Mart Lubbers | added proof bit | commit | commitdiff | tree | snapshot |
| 2015-11-30 | Mart Lubbers | initial commit, started with the exercises | commit | commitdiff | tree | snapshot |