Jurgen J. Vinju

By choosing to decrease the current plugin of tm.terminal in the installation wizard's options, Rascal installs fine and the system works correctly.

We could also try `https://download.eclipse.org/tools/cdt/releases/latest/` for a while? On the one hand, the problem is that we can not test for all possible future Eclipse environments, so fixing a version...

Let's use that `latest` update site, _and_ log the current minimal version we depend on in `META-INF/MANIFEST.MF`, like: `[latest-version,)` * if we do not list the latest version, because a...

all we require from our users then is to be up-to-date with the latest version of CDT. that's not so bad.

true. but that was when we released rascal only once a year, so the chance that rascal would work with the newest eclipse was always low. now we release continuously...

please elaborate!

Right! it would force us to keep clair up-to-date as well. Given that we promised to do that anyway, this just makes it clear when we have to do work.

Unfortunately, there is no way to follow "any" version of tm.terminal because they change their update-site URL with every release. So effectively we depend either on a specific version or...

@PaulKlint @DavyLandman @tvdstorm this is a really easy change in the interpreter. I don't think our users use this feature much since it is not well-documented (or even documented at...

Changing the interpreter will not be a big thing in itself, but if the feature is used in the parser generator or the type-checker or the compiler, then the impact...