← Back to branch summary

~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084

Viewing all changes in revision 923.

  • Committer: Jiri Srba
  • Date: 2015-11-24 18:57:04 UTC
  • Revision ID: srba@cs.aau.dk-20151124185704-2g44v17jl9rg28tl
updated tapaal icons to 3.2 version

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: