Viewing all changes in revision 518.

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

expand all

collapse all

Show diffs side-by-side

added

removed

MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/MpsatConfigurationDialog.java

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

help/apple-touch-icon.png

help/cpog-inserted_graph.png

help/cpog-tool_controls-select.png

help/cpog_plugin.html

help/editor_panel.html

help/editor_tools-connect.png

help/editor_tools-place.png

help/editor_tools-select.png

help/editor_tools-simulate.png

help/editor_tools-text_note.png

help/editor_tools-transition.png

help/editor_tools-vertex.png

help/editor_tools.png

help/editor_tools_panel.html

help/gui-directed_graph.png

help/index.html

help/lib/

help/lib/exe/

help/lib/exe/css.php.t.dokuwiki-light-export.css

help/logo.png

help/main_menu.html

help/main_window.html

help/new_work-cpog.png

help/new_work-petri_net.png

help/petri_net_plugin.html

help/preferences-common-comment.png

help/preferences-common-editor.png

help/preferences-common-visual.png

help/preferences-common.html

help/preferences-layout-dot.png

help/preferences-layout-random.png

help/preferences-layout.html

help/property_editor-connection.png

help/property_editor-group.png

help/property_editor-node.png

help/property_editor-text_note.png

help/property_editor_panel.html

help/reach.html

help/scenco.html

help/scenco_files/

help/scenco_files/connection-tool.png

help/scenco_files/group-tool.png

help/scenco_files/level-down-tool.png

help/scenco_files/level-up-tool.png

help/scenco_files/screenshot-insert-expression.png

help/scenco_files/screenshot-inserted-graph.png

help/scenco_files/screenshot-new-cpog.png

help/scenco_files/selection-tool.png

help/scenco_files/vertex-tool.png

help/start.html

help/tips.html

help/tool_controls-select-flip_horizontal.png

help/tool_controls-select-flip_vertical.png

help/tool_controls-select-group.png

help/tool_controls-select-level_down.png

help/tool_controls-select-level_up.png

help/tool_controls-select-rotate_clockwise.png

help/tool_controls-select-rotate_counterclockwise.png

help/tool_controls-select-ungroup.png

help/tool_controls-select.png

help/tool_controls_panel.html

help/workspace.png

help/workspace_panel.html

• Older »

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