Author: fahland
Date: Thu Apr 9 14:19:35 2009
New Revision: 4056
URL: http://svn.gna.org/viewcvs/service-tech?rev=4056&view=rev
Log:
+ new release of Seda with several bugfixes and interface improvements
+ added capabilities for validating Petri nets and display diagnostic
information in the GUI and in the diagram
+ added graphics for icons
+ added Seda RCP projects for building Seda standalone binaries to the
repository
Added:
trunk/seda/hub.top.editor.ptnetLoLA.diagram/src/hub/top/editor/petrinets/diagram/graphics/NodeDecorator.java
trunk/seda/hub.top.editor.ptnetLoLA.diagram/src/hub/top/editor/petrinets/diagram/graphics/NodeDecoratorProvider.java
trunk/seda/hub.top.editor.ptnetLoLA/src/hub/top/editor/ptnetLoLA/util/PtnetLoLAValidator.java
trunk/seda/hub.top.editor/icons/
trunk/seda/hub.top.editor/icons/full/
trunk/seda/hub.top.editor/icons/full/obj16/
trunk/seda/hub.top.editor/icons/full/obj16/error_tsk.gif (with props)
trunk/seda/hub.top.editor/icons/full/obj16/info_tsk.gif (with props)
trunk/seda/hub.top.editor/icons/full/obj16/warn_tsk.gif (with props)
trunk/seda/hub.top.seda.rcp-feature/.project
trunk/seda/hub.top.seda.rcp-feature/build.properties
trunk/seda/hub.top.seda.rcp.base-feature/.project
trunk/seda/hub.top.seda.rcp.base-feature/build.properties
trunk/seda/hub.top.seda.rcp.base/.project
trunk/seda/hub.top.seda.rcp.base/META-INF/
trunk/seda/hub.top.seda.rcp.base/META-INF/MANIFEST.MF
trunk/seda/hub.top.seda.rcp.base/build.properties
trunk/seda/hub.top.seda.rcp.base/html/
trunk/seda/hub.top.seda.rcp.base/html/seda.html
trunk/seda/hub.top.seda.rcp.base/html/seda_using.html
trunk/seda/hub.top.seda.rcp.base/toc.xml
trunk/seda/hub.top.seda.rcp/.classpath
trunk/seda/hub.top.seda.rcp/.project
trunk/seda/hub.top.seda.rcp/.settings/
trunk/seda/hub.top.seda.rcp/.settings/org.eclipse.jdt.core.prefs
trunk/seda/hub.top.seda.rcp/.settings/org.eclipse.ltk.core.refactoring.prefs
trunk/seda/hub.top.seda.rcp/META-INF/
trunk/seda/hub.top.seda.rcp/META-INF/MANIFEST.MF
trunk/seda/hub.top.seda.rcp/bin/
trunk/seda/hub.top.seda.rcp/build.properties
trunk/seda/hub.top.seda.rcp/configuration/
trunk/seda/hub.top.seda.rcp/configuration/config.ini
trunk/seda/hub.top.seda.rcp/configuration/org.eclipse.update/
trunk/seda/hub.top.seda.rcp/configuration/org.eclipse.update/bookmarks.xml
trunk/seda/hub.top.seda.rcp/hub.top.seda.rcp.product
trunk/seda/hub.top.seda.rcp/icons/
trunk/seda/hub.top.seda.rcp/icons/document.net.bw.64.png (with props)
trunk/seda/hub.top.seda.rcp/icons/document.net.bw3.32.png (with props)
trunk/seda/hub.top.seda.rcp/icons/document.net.bw_2.16.png (with props)
trunk/seda/hub.top.seda.rcp/plugin.properties
trunk/seda/hub.top.seda.rcp/splash.bmp (with props)
trunk/seda/hub.top.seda.rcp/src/
trunk/seda/hub.top.seda.rcp/src/hub/
trunk/seda/hub.top.seda.rcp/src/hub/top/
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/Activator.java
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/Application.java
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/ApplicationActionBarAdvisor.java
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/ApplicationWorkbenchAdvisor.java
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/ApplicationWorkbenchWindowAdvisor.java
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/Perspective.java
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/ui/
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/ui/ExtensionAction.java
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/ui/FindInstallAction.java
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/ui/ManageConfigurationAction.java
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/ui/PickWorkspaceDialog.java
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/ui/SwitchWorkSpaceAction.java
trunk/seda/hub.top.seda.rcp/src/hub/top/seda/rcp/ui/UpdateAction.java
trunk/seda/hub.top.seda.rcp/targets/
trunk/seda/hub.top.seda.rcp/targets/seda.java_se5.target
trunk/seda/hub.top.seda.updatesite/artifacts.xml
trunk/seda/hub.top.seda.updatesite/content.xml
Removed:
trunk/seda/hub.top.seda.updatesite/index.html
trunk/seda/hub.top.seda.updatesite/web/
Modified:
trunk/seda/hub.top.editor.lola.text/src/hub/top/editor/lola/text/prettyprinting/PrettyPrinterOpenNet.java
trunk/seda/hub.top.editor.lola.text/src/hub/top/editor/lola/text/syntax/LolaIdent.syntax
trunk/seda/hub.top.editor.lola.text/src/hub/top/editor/lola/text/syntax/LolaIdentSyntax.java
trunk/seda/hub.top.editor.ptnetLoLA.diagram/plugin.xml
trunk/seda/hub.top.editor.ptnetLoLA.diagram/src/hub/top/editor/ptnetLoLA/diagram/part/PtnetLoLADiagramEditor.java
trunk/seda/hub.top.editor/build.properties
trunk/seda/hub.top.seda.rcp-feature/feature.xml
trunk/seda/hub.top.seda.rcp.base-feature/feature.xml
trunk/seda/hub.top.seda.rcp.base/plugin.xml
trunk/seda/hub.top.seda.updatesite/site.xml
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
