← Back to branch summary

~tapaal-maintainers/tapaal/3.4

Viewing all changes in revision 961.

  • Committer: Jiri Srba
  • Date: 2018-05-11 15:39:21 UTC
  • Revision ID: srba@cs.aau.dk-20180511153921-h0zbyw2opamt69r5
merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduction-rules-1768066 
displaying reduction rules A-I in the GUI

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: