Viewing all changes in revision 18.

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

expand all

collapse all

Show diffs side-by-side

added

removed

.classpath

Plugins/manifest.xml

benchmarks/petri_nets/big.xwd

workcraft/Console.java

workcraft/Document.java

workcraft/DocumentBase.java

workcraft/Framework.java

workcraft/ModelManager.java

workcraft/Tool.java

workcraft/WorkCraftServer.java

workcraft/editor/BasicEditable.java

workcraft/editor/EditorPane.java

workcraft/editor/GroupNode.java

workcraft/logic/DNFUtil.java

workcraft/petri/EditablePetriPlace.java

workcraft/petri/EditablePetriTransition.java

workcraft/petri/ExternalInterfaceApplicator.java

workcraft/petri/PetriDotGSaver.java

workcraft/petri/PetriDotGSaver2.java

workcraft/petri/PetriDotPNTSaver.java

workcraft/petri/PetriKiller.java

workcraft/petri/PetriLabelSaver.java

workcraft/petri/PetriMPSAT.java

workcraft/petri/PetriModel.java

workcraft/petri/PetriSemimodularityChecker.java

workcraft/petri/PetriTransitionMultiplier.java

workcraft/petri/PetriUnfolder.java

workcraft/petri/ReadArcsComplexityReduction.java

workcraft/unfolding/MCIImport.java

workcraft/unfolding/UnfoldingModel.java

• Older »

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