search

loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

new plugin names #32

Closed iamundson closed 4 years ago

iamundson commented 4 years ago

Changed CASE plugin names from fmw.cyres. to trustedsystems.briefcase.