search

hhu-stups / camille

(READ ONLY MIRROR) The Camille Editor for Rodin
https://gitlab.cs.uni-duesseldorf.de/general/stups/camille
1 stars 1 forks source link

Provide refactoring of Event-B model elements #10

Open wysiib opened 10 years ago

wysiib commented 10 years ago

Initially requested by Bosch