FrederikPM

Add a Find File link. Make it clear which binary should be linked - eg. /usr/local/bin/vdmtools-sl/bin/vdmgde

didChange does not fire on git pull

2

If a VDM model is updated by pulling the source from GitHub, the Client doesn't seem to fire the usual "change watched file" events. So the server carries on with...

E.g: "Linient" instead of Lenient

This seems to need comprehensive work, including: - The web runtime environment for web extensions only supports the execution of JavaScript or WebAssembly as such the language server would need...