~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties

Viewing all changes in revision 1074.

  • Committer: lsaid
  • Date: 2020-07-23 12:47:56 UTC
  • Revision ID: lena.said@hotmail.com-20200723124756-t4ca9xfly64atoer
Changed the dialog message when creating a new net. Changed the text in the toolbar. When saving, the time/game info is placed on each tapn instead of the entire net. Removed global lense information from TimedArcPetriNet. Made lense information invisble for guiframe again. 

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: