Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Refactor ServerLauncher | 2021-09-20 | |
| | |||
* | Allow launching server from Eclipse | 2021-09-19 | |
| | |||
* | Allow running ServerLauncher from Eclipse | 2021-09-19 | |
| | |||
* | 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 | |
| | |||
* | Refactoring based on Sonar reports | 2021-07-29 | |
| | |||
* | Appearance fixes | 2021-07-05 | |
| | |||
* | Fix typo in environmental variable name | 2021-07-05 | |
| | |||
* | JetBrains Mono font | 2021-07-02 | |
| | |||
* | Add italic font | 2021-07-02 | |
| | |||
* | Change operator for predicate definition | 2021-07-02 | |
| | |||
* | Fonts and ligatures | 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 | |
| | |||
* | Top level editorconfig | 2021-06-30 | |
| | |||
* | Install nodejs and npm from Gradle | 2021-06-30 | |
| | |||
* | Webpack subresource integrity | 2021-06-30 | |
| | |||
* | Pin all m2 dependency versions | 2021-06-29 | |
| | |||
* | Add hot module replacement for development | 2021-06-29 | |
| | |||
* | Generate all files on build | 2021-06-29 | |
| | |||
* | Remove Xtext generated Javascript file | 2021-06-29 | |
| | |||
* | Remove xtext-gen generated files | 2021-06-29 | |
| | | | | They are regenerated on each build | ||
* | Webpack build for frontend | 2021-06-29 | |
| | |||
* | Fix real literals | 2021-06-28 | |
| | |||
* | Add data constant support | 2021-06-27 | |
| | |||
* | Electric semicolons | 2021-06-27 | |
| | |||
* | Customize client-side CodeMirror mode | 2021-06-27 | |
| | |||
* | Fix running outside of Eclipse | 2021-06-27 | |
| | |||
* | Remove Eclipse-specific files | 2021-06-27 | |
| | | | | They can be re-generated by the BuildShip plugin anyways. | ||
* | Simplify project layout | 2021-06-27 | |