Viewing all changes in revision 93.
- Committer: Jiri Srba
- Date: 2016-08-07 12:46:34 UTC
- mfrom: (91.2.4 true_false_and_equal_support)
- Revision ID: srba.jiri@gmail.com-20160807124634-o2usv8maa228s6t3
merged in branch verifypn/true_false_and_equal_support fixing the support for true and false propositions in CTL queries
expand all
collapse all
added
removed
