Commit message (Expand) | Author | Age | |
---|---|---|---|
* | chore(lang): shorten keyword individual -> indiv | 2021-11-06 | |
* | chore: rename unique to individual | 2021-11-05 | |
* | feat(web): semantic highlighting | 2021-10-31 | |
* | test(web): more websocket integration tests | 2021-10-31 | |
* | test(web): websockets fixes and tests | 2021-10-31 | |
* | feat(web): push precomputed service results | 2021-10-31 | |
* | feat(web): batched xtext websocket prototype | 2021-10-31 |