Download Latest Version
ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Get an email when there's a new version of RODIN
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| 1.0.0 | 2019-02-21 | ||
| readme.txt | 2019-02-21 | 426 Bytes | |
| Totals: 2 Items | 426 Bytes | 0 | |
This feature provides an iUML-B document generator. Release history: ------------------------------------------------------------------------------ ### 1.0.0 ### - generate proof statistics table for project ### 0.0.1 Initial version: ### - generate iUML-B classdiagrams and statemachines figures - generate properties of iUML-B classdiagrams and statemachines in latex tabular format - Issues: overflowing text in tables