aboutsummaryrefslogtreecommitdiffstats
path: root/language/src/main/java/tools
Commit message (Expand)AuthorAge
* build: move modules into subproject directoryLibravatar Kristóf Marussy2021-12-12
* build: fix cross-project group and version configLibravatar Kristóf Marussy2021-11-19
* feat(lang): basic formattingLibravatar Kristóf Marussy2021-11-15
* chore(lang): seralize assertions in short formLibravatar Kristóf Marussy2021-11-06
* chore(lang): shorten keyword individual -> indivLibravatar Kristóf Marussy2021-11-06
* chore: rename unique to individualLibravatar Kristóf Marussy2021-11-05
* fix(lang): make default and scope non-contextualLibravatar Kristóf Marussy2021-11-05
* feat(lang): add example validation checksLibravatar Kristóf Marussy2021-11-05
* fix(language): hide current implicit proposalLibravatar Kristóf Marussy2021-11-04
* feat(web): simplify contextual parsingLibravatar Kristóf Marussy2021-10-31
* chore(web): remove CodeMirror 5 MWE2 integrationLibravatar Kristóf Marussy2021-10-31
* Add scope for new and delete with testsLibravatar Garami Bence2021-10-20
* Add syntax for direct rules and direct predicatesLibravatar Garami Bence2021-10-20
* chore: remove builtin library xtext dependencyLibravatar Kristóf Marussy2021-10-19
* fix(language): also rename builtin problem libraryLibravatar Kristóf Marussy2021-10-05
* chore: change package nameLibravatar Kristóf Marussy2021-10-05
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-21 08:31:42 +0000