search

loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

converted AGREE to use xtend formatter2 for better control over forma… #13

Closed iamundson closed 5 years ago

iamundson commented 5 years ago

…tting