← Back to branch summary

~tapaal-contributor/tapaal/ctl-game

~tapaal-contributor/tapaal/ctl-game

Viewing all changes in revision 1036.

Committer: Mads Johannsen
Date: 2016-08-31 13:35:04 UTC
Revision ID: mjohan12@student.aau.dk-20160831133504-xr4hi38sbrpunilf

More tooltip text

files modified:
src/dk/aau/cs/gui/components/GameHistoryRoundItem.java

src/dk/aau/cs/verification/game/GameEdge.java

src/dk/aau/cs/verification/game/GameHyperEdge.java

src/dk/aau/cs/verification/game/GameNegationEdge.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/gui/components/GameHistoryRoundItem.java

src/dk/aau/cs/verification/game/GameEdge.java

src/dk/aau/cs/verification/game/GameHyperEdge.java

src/dk/aau/cs/verification/game/GameNegationEdge.java

Older »