Viewing all changes in revision 1171.
- Committer: Jiri Srba
- Date: 2022-06-03 19:56:54 UTC
- mfrom: (1169.2.2 tapaal)
- Revision ID: srba@cs.aau.dk-20220603195654-4xruimlnr9mi2zzt
merged in a fix for editing LTL queries (in manual edit of E .. and .. and .. it was not possible to remove the last conjuct and reseting of LTL queries didn't work either
expand all
collapse all
added
removed
