Viewing all changes in revision 1058.
- Committer: Jiri Srba
- Date: 2020-06-09 14:14:18 UTC
- mfrom: (1053.2.4 verification-result-explanation-to-tooltip-1879129)
- Revision ID: srba@cs.aau.dk-20200609141418-d9qm1v6ppul9jm4l
merged in lp:~tapaal-contributor/tapaal/verification-result-explanation-to-tooltip-1879129 remove explanation button and moving it as tooltips
- files modified:
- src/dk/aau/cs/verification/ModelChecker.java
expand all
collapse all
added
removed
