Viewing all changes in revision 952.
- Committer: Jiri Srba
- Date: 2018-04-05 19:06:52 UTC
- mfrom: (951.1.1 tapaal)
- Revision ID: srba@cs.aau.dk-20180405190652-rsoa8q65iwipjn4o
merged in bzr merge lp:~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844 fixing a problem with conversion of Reachability to CTL queries
- files modified:
- src/pipe/gui/widgets/CTLQueryDialog.java
expand all
collapse all
added
removed
