← Back to branch summary

~workcraft/workcraft/trunk

~workcraft/workcraft/trunk

Viewing all changes in revision 729.

Committer: Danil Sokolov
Date: 2016-01-29 13:06:08 UTC
Revision ID: danilovesky@gmail.com-20160129130608-v6xphfe7d2zvdbgz

FlexDock is updated to version 1.2.4.

files added:
ThirdParty/flexdock-1.2.4.jar

files removed:
ThirdParty/flexdock-0.5.1.jar

files modified:
PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetSimulationTool.java

WorkcraftCore/.classpath

WorkcraftCore/src/org/workcraft/Console.java

WorkcraftCore/src/org/workcraft/gui/MainWindow.java

WorkcraftRunner/.classpath

Show diffs side-by-side

added added

removed removed

PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetSimulationTool.java

ThirdParty/flexdock-0.5.1.jar

ThirdParty/flexdock-1.2.4.jar

WorkcraftCore/.classpath

WorkcraftCore/src/org/workcraft/Console.java

WorkcraftCore/src/org/workcraft/gui/MainWindow.java

WorkcraftRunner/.classpath

Older »