Viewing all changes in revision 1122.
- Committer: Jiri Srba
- Date: 2021-04-03 18:56:20 UTC
- mfrom: (1121.1.1 query-parsing-bug-1921580)
- Revision ID: srba@cs.aau.dk-20210403185620-t6maaqyn8iqgvv9i
merged in lp:~tapaal-contributor/tapaal/query-parsing-bug-1921580 fixing a problem with using wrong parser when manually parsing CTL queries
- files modified:
- src/pipe/gui/widgets/QueryDialog.java
expand all
collapse all
added
removed
