~tapaal-contributor/tapaal/stackoverflow-large-net-1853689

Viewing all changes in revision 1027.

  • Committer: Jiri Srba
  • Date: 2019-11-12 12:04:30 UTC
  • mfrom: (1026.1.1 tapaal)
  • Revision ID: srba.jiri@gmail.com-20191112120430-gts4gd8akk6lyrv4
merged in lp:~tapaal-contributor/tapaal/rollercoaster-example-loading-fail-1850713 fixing loading of nets in the old format

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: