Viewing all changes in revision 1115.
- Committer: Jiri Srba
- Date: 2020-11-06 15:17:52 UTC
- mfrom: (1102.8.12 tapaal)
- Revision ID: srba.jiri@gmail.com-20201106151752-0ak3dlpsqjaihtdz
merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query fixing problem with transition-enabledness predicate in query dialog
- files modified:
- src/pipe/gui/widgets/QueryDialog.java
expand all
collapse all
added
removed
