Incompatible with IntelliJ Ultimate 2019.3

[jfschaefer]

I use the plugin version 18.0.1. The following error message appears:

Plugin "MMT" is incompatible (target build range is 192.6262 to 192.*).

[ComFreek]

(In fact even the official JetBrains Scala plugin is incompatiable with the latest IntelliJ version (which I guess is 2019.3).)

For this plugin, this should be a simple edit to allow a higher "target build range".

[jfschaefer]

I can confirm that allowing a higher build range seems to suffice.
I downloaded the .zip file for the plugin and edited some xml file in some jar so that the range is until 193.* and it works for my workflows in IntelliJ 2019.3 without any issues.

[ComFreek]

I fixed this in a commit yet to be pushed, this can be closed.

[ComFreek]

@Jazzpirate This can definitely be closed by now.

[Jazzpirate]

...and reopened for 2020.2 xD

[ComFreek]

I am already taking care of that and of fixing the syntax highlighting issues 😄