~tapaal-contributor/tapaal/implement-game-ui-1884499

Viewing all changes in revision 1071.

  • Committer: lsaid
  • Date: 2020-07-01 16:12:48 UTC
  • Revision ID: lena.said@hotmail.com-20200701161248-hnvf1kf5ajxi2kbd
Game information is saved to Tikz. Message warning when exporting to PNML is also added.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: