Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
Eddy-0.7.6-gpl-win32.exe | 2016-03-16 | 66.9 MB | |
Eddy-0.7.6-gpl-darwin.dmg | 2016-03-16 | 96.4 MB | |
Eddy-0.7.6-gpl-linux32.zip | 2016-03-16 | 116.1 MB | |
Eddy-0.7.6-gpl-linux64.zip | 2016-03-16 | 112.9 MB | |
Eddy-0.7.6-gpl-win32.zip | 2016-03-16 | 101.0 MB | |
Eddy v0.7.6.tar.gz | 2016-03-14 | 11.7 MB | |
Eddy v0.7.6.zip | 2016-03-14 | 11.9 MB | |
README.md | 2016-03-14 | 352 Bytes | |
Totals: 8 Items | 516.7 MB | 0 |
This release fixes some minor problems discovered in v0.7.5:
- Changed info widget to display separately the amount of inclusions and membership assertions.
- Fixed instanceOf
edge not being correctly loaded from .graphol
file.
- Improve application menus readability.
- Improve the visualization of invalid axioms after a manual syntax check run.