descriptionnone
last changeFri, 24 Jun 2016 09:11:39 +0000 (11:11 +0200)
shortlog
2016-06-24 Mart LubbersMerge branch 'master' of gitlab.science.ru.nl:mlubbers... master
2016-06-24 Mart Lubbershoi
2016-06-23 pimjagerMerge branch 'master' of https://gitlab.science.ru...
2016-06-23 pimjagerplaatjes 2
2016-06-23 Mart Lubbersfix 1b
2016-06-21 Mart Lubbers1b misschien
2016-06-20 Mart Lubbershoi
2016-06-17 pimjageras
2016-06-16 pimjagerFinished 3
2016-06-16 pimjagerYES kutmodel werkt
2016-06-16 pimjagerKut UPPAAL stik er in
2016-06-16 pimjagerhoi
2016-06-16 pimjagerWorking on 3, f-ing uppaal is giving absurd errors
2016-06-16 pimjagerassignment2
2016-06-16 pimjagerworking exercise2
2016-06-16 pimjagerWoep woep, 2 works for small example
...
heads
8 years ago master