Viewing all changes in revision 960.
- Committer: Jiri Srba
- Date: 2018-05-11 15:45:45 UTC
- mfrom: (957.2.4 tapaal)
- Revision ID: srba@cs.aau.dk-20180511154545-n91ccdv1aqf4n4w5
merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduction-rules-1768066
adding the statistics of reduction rules A-I
adding the statistics of reduction rules A-I
expand all
collapse all
added
removed
