← Back to branch summary

~tapaal-maintainers/verifydtapn/d3.0

Viewing all changes in revision 295.

  • Committer: Jiri Srba
  • Date: 2014-02-18 11:02:29 UTC
  • Revision ID: srba@cs.aau.dk-20140218110229-fqwbl87hnc5b1wm1
increased version number to 3.0.0

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: