← Back to branch summary

~workcraft/workcraft/1.0

~workcraft/workcraft/1.0

Viewing all changes in revision 17.

Committer: Ivan Poliakov
Date: 2007-11-29 07:03:40 UTC
Revision ID: ivpolyakov@gmail.com-20071129070340-b210lei6spyv1wte

*** empty log message ***

files added:
js.jar

workcraft/Console.java

workcraft/common/GFileFilter.java

workcraft/common/WTFileFilter.java

files removed:
jython.jar

workcraft/petri/GFileFilter.java

workcraft/sdfs/WTFileFilter.java

files modified:
.classpath

Plugins/manifest.xml

run.bat

workcraft/DocumentBase.java

workcraft/JavaFrontend.java

workcraft/WorkCraftServer.java

workcraft/common/DefaultSimControls.java

workcraft/editor/BasicEditable.java

workcraft/editor/EditorPane.java

workcraft/editor/GroupNode.java

workcraft/logic/DNFUtil.java

Show diffs side-by-side

added added

removed removed

Plugins/manifest.xml

workcraft/Console.java

workcraft/DocumentBase.java

workcraft/JavaFrontend.java

workcraft/WorkCraftServer.java

workcraft/common/DefaultSimControls.java

workcraft/common/GFileFilter.java

workcraft/common/WTFileFilter.java

workcraft/editor/BasicEditable.java

workcraft/editor/EditorPane.java

workcraft/editor/GroupNode.java

workcraft/logic/DNFUtil.java

workcraft/petri/GFileFilter.java

workcraft/sdfs/WTFileFilter.java

Older »