src/Tools/VSCode/extension/isabelle-language.json
2017-01-03 wenzelm 2017-01-03 tuned whitespace;
2017-01-02 wenzelm 2017-01-02 tuned;
2017-01-01 wenzelm 2017-01-01 clarified file name;