← Back to branch summary

~yrke/tapaal/tapaal-fix1827039-constantHightlight

~yrke/tapaal/tapaal-fix1827039-constantHightlight

Viewing all changes in revision 1002.

Committer: Kenneth Yrke Jørgensen
Date: 2019-05-06 12:31:40 UTC
mfrom: (1000.2.9 tapaal)
Revision ID: kenneth@yrke.dk-20190506123140-5fwsncgtcxjvjpv9

Merged trunk

files modified:
src/dk/aau/cs/verification/UPPAAL/Verifyta.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java

src/pipe/gui/ExportBatchDialog.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/Pipe.java

src/pipe/gui/TikZExporter.java

src/pipe/gui/graphicElements/NameLabel.java

src/pipe/gui/handler/LabelHandler.java

src/pipe/gui/undo/UndoManager.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/verification/UPPAAL/Verifyta.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java

src/pipe/gui/ExportBatchDialog.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/Pipe.java

src/pipe/gui/TikZExporter.java

src/pipe/gui/graphicElements/NameLabel.java

src/pipe/gui/handler/LabelHandler.java

src/pipe/gui/undo/UndoManager.java

Older »