Viewing all changes in revision 657.

• browse files at revision 657
• compare with another revision
• download diff
• download tarball
• view history from revision 657

expand all

collapse all

Show diffs side-by-side

added

removed

DfsPlugin/src/org/workcraft/plugins/dfs/stg/StgGenerator.java

MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java

WorkcraftRunner/.fatjar

XmasPlugin/src/org/workcraft/plugins/xmas/XmasSettings.java

XmasPlugin/src/org/workcraft/plugins/xmas/XmasToolsProvider.java

XmasPlugin/src/org/workcraft/plugins/xmas/stg/StgGenerator.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/JsonExport.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/PNetExt.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/PNetGen.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/SyncTool.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerAnalysis.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerConfTool.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerQuery.java

XmasPlugin/src/org/workcraft/plugins/xmas/tools/VerTool.java

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1