Thursday 1st and 2nd hour (8:45-10:30) in Potentiaal 6.05
Some users of the toolset experience problems when trying to open a new file in mcrl2-gui in a directory where you do not have read and write permission. This is typically the case when trying to open a new file on the root of the C: disk. To avoid this problem the files should be opened in a directory where read/write permission is available.