Viewing all changes in revision 1092.
- Committer: Jiri Srba
- Date: 2020-09-01 11:48:55 UTC
- mfrom: (1086.3.11 refactor-remove-query)
- Revision ID: srba.jiri@gmail.com-20200901114855-yfbvlhq3v2m078a2
merged in lp:~tapaal-contributor/tapaal/refactor-remove-queries removing queires in a unified way by calling the engine options
- files added:
- src/pipe/gui/UPPAAALStandardOptions.java
- files modified:
- src/dk/aau/cs/gui/TabContent.java
expand all
collapse all
added
removed
