search

overturetool / overturetool.github.io

The Overture Tool Website
http://overturetool.org
3 stars 6 forks source link

List which Overture Eclipse plugins rely on VDMJ code #34

Closed ldcouto closed 3 years ago

ldcouto commented 4 years ago

Either directly or in a significant form.

Source: https://github.com/overturetool/overture/issues/705#issuecomment-545606478

kgpierce commented 3 years ago

List has been made at the issue linked in the comment: https://github.com/overturetool/overture/issues/705#issuecomment-560499917