Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 | |