Olav Bunte

@FWDekker By commit d2e102d948c7bb20fb516e8d4a70751f0a7768bb mcrl2ide will ask for a reload also when the project file or a property file has changed from outside. To get this version of the tool,...

Thanks for the detailed bug report. Are the project names the same as well? The project name is determined by the base name of the file with the extension .mcrl2proj....

Thanks for the reply, I will work on a fix some time this week.

Hmm, this is indeed unwanted behaviour, I'll look into it. It seems to be due to a mistake in reading the project name from the project file. Thanks for the...

Hmm, I can't seem to reproduce the bug you describe when zooming in. When I move to the bottom of the file and zoom in two things happen depending on...

It also does not work for LTS's. When doing `ltsconvert test.lts test.aut` after creating `test.lts` from ``` act a; proc P = a.dist b:Bool[1/2].(b -> P Q); Q = a.dist...

I could make some icons suitable for light mode. Concerning detection of dark mode, I can remember adding basic code for that, for instance for the text editor syntax colouring,...

I implemented this some time ago (see 3a06842c44edf10da2ebbb1f699964b3e4f71952) because I needed it for mCRL2IDE, but I can't remember why we decided for it to be hidden though. The tool mcrl22lps...