2016-01-26 | charlie | makefile fix and table with results so far added to ex3 | blob | commitdiff | raw |
2016-01-20 | Mart Lubbers | awesome scriptszzz" | blob | commitdiff | raw |
2016-01-20 | Mart Lubbers | Merge branch 'master' of github.com:dopefishh/tt2015 | blob | commitdiff | raw | diff to current |
2016-01-20 | Mart Lubbers | added learnlibloblab | blob | commitdiff | raw | diff to current |