Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Frontend color changes | 2021-09-19 | |
* | Frontend color theme | 2021-09-17 | |
* | Add ESLint config | 2021-08-22 | |
* | Covert language-web to TypeScript | 2021-08-22 | |
* | Bump Material-UI version | 2021-08-22 | |
* | Bump CodeMirror, React versions | 2021-08-22 | |
* | 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 |