Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Make Xtext CodeMirror more robust | 2021-08-20 | ||
* | Simplify node naming | 2021-08-20 | ||
* | Appearance fixes | 2021-07-05 | ||
* | JetBrains Mono font | 2021-07-02 | ||
* | Change operator for predicate definition | 2021-07-02 | ||
* | Material UI theming WIP | 2021-07-02 | ||
* | Add material-ui and mobx integration | 2021-07-01 | ||
* | Convert to React app | 2021-06-30 | ||
* | Webpack build for frontend | 2021-06-29 |