Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mc1516the
[mc1516the.git] / uppaal /
drwxr-xr-x   ..
-rw-r--r-- 2075 1b.xml
-rw-r--r-- 9321 2.xml
-rw-r--r-- 8838 2hardTrace.xtr
-rw-r--r-- 7127 2intermediateTrace.xtr
-rw-r--r-- 15438 2website2Trace.xtr
-rw-r--r-- 3494 3.xml
-rw-r--r-- 5515 traingate.xml