mc1516the.git
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
2016-06-16 pimjager2.xml voor prop weight op RedCar
2016-06-14 Mart Lubbersding
2016-06-14 pimjagermend
2016-06-14 pimjagerGaat de goede kant op
2016-06-14 Mart Lubbers!
2016-06-14 pimjagermend
2016-06-14 pimjagerMerge branch 'master' of https://gitlab.science.ru...
2016-06-14 pimjagerkut rushhour spelletje
2016-06-14 Mart Lubbersupdate document
2016-06-14 Mart Lubbershoi
2016-06-14 Mart Lubbershoi
2016-06-14 pimjagertraingate
2016-06-14 pimjagerUppaalmodel of train gate
2016-06-14 Mart Lubberseerste opzet
2016-06-14 Mart Lubbersinitial commit