src/Tools/VSCode/src/grammar.scala
2017-01-02 wenzelm 2017-01-02 more syntax; tuned;
2017-01-02 wenzelm 2017-01-02 more syntax; tuned;
2017-01-02 wenzelm 2017-01-02 tuned;
2017-01-02 wenzelm 2017-01-02 more keywords;
2017-01-02 wenzelm 2017-01-02 tuned;
2017-01-01 wenzelm 2017-01-01 generate uuid;
2017-01-01 wenzelm 2017-01-01 generate static TextMate grammar for VSCode editor;