Switch to Kevoree 5 - Githubissues

HEADS-project / heads_ide

http://heads-project.eu

9 stars 2 forks source link

Closed brice-morin closed 9 years ago

brice-morin commented 10 years ago

Kevoree 5 provides a better support for multi-platforms, we should switch to this version once stable. This includes:

maxleiko commented 10 years ago

http://editor.kevoree.org is using Kevoree 5 metamodel already.

barais commented 10 years ago

Yes but we have to migrate the eclipse plugin

brice-morin commented 9 years ago

AFAIK, HEADS IDE now uses Kevoree 5.x.y. Just re-open the issue if it is not the case.