![]() ![]()
The SVG-based visualization called VisB is included in version 1.1.0 of ProB2-UI.ĭetails about new features and improvements can be found in the release history, along with download links for older versions. You can also download a multi-platform jar, which works Java 11 or later (and with Java 8 versions which have JavaFX included) on all platforms (Windows, macOS, Linux). You can use these stand-alone versions which come bundled with the right Java runtime environment: Version 1.1.0 of the new JavaFX-based ProB2-UI is available. #OSX GRAPHVIZ UPDATE#
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |