From c8ddef1b8064cd32b09d528979c587e8efa9789b Mon Sep 17 00:00:00 2001 From: Peter Broadbery Date: Tue, 6 Apr 2021 22:53:25 +0100 Subject: [PATCH] Version compatibility fixes --- .idea/jarRepositories.xml | 5 + aldor-idea.iml | 3194 +++++++++++++++++ build.gradle | 24 +- gradle.properties | 13 +- jps-plugin/build.gradle | 4 + src/main/grammar/Aldor.bnf | 26 +- ...ldorLanguageCodeStyleSettingsProvider.java | 3 + .../NoTabWidthIndentOptionsEditor.java | 1 - .../psi/elements/AldorElementTypeFactory.java | 7 +- .../java/aldor/psi/impl/AldorWithMixin.java | 3 - .../java/aldor/parser/TopLevelParseTest.java | 2 - 11 files changed, 3243 insertions(+), 39 deletions(-) create mode 100644 aldor-idea.iml diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml index 3e3c929..e746419 100644 --- a/.idea/jarRepositories.xml +++ b/.idea/jarRepositories.xml @@ -71,5 +71,10 @@