← Back to branch summary

~jonathan-r-beaumont/workcraft/trunk-bug-1537854

~jonathan-r-beaumont/workcraft/trunk-bug-1537854

Viewing all changes in revision 718.

Committer: Danil Sokolov
Date: 2016-01-21 16:35:51 UTC
Revision ID: danilovesky@gmail.com-20160121163551-hmfwnz20n3o3cok3

https://launchpad.net/bugs/1393363

User-specific config.xml, plugins.xml and uilayout.xml files

files modified:
MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/MpsatSynthesisResultHandler.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatCombinedChainResultHandler.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tools/ShowSg.java

WorkcraftCore/src/org/workcraft/Config.java

WorkcraftCore/src/org/workcraft/Framework.java

WorkcraftCore/src/org/workcraft/PluginManager.java

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

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

WorkcraftCore/src/org/workcraft/util/XmlUtil.java

WorkcraftCore/src/org/workcraft/workspace/Workspace.java

WorkcraftCore/src/scripts/functions.js

Show diffs side-by-side

added added

removed removed

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/MpsatSynthesisResultHandler.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatCombinedChainResultHandler.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tools/ShowSg.java

WorkcraftCore/src/org/workcraft/Config.java

WorkcraftCore/src/org/workcraft/Framework.java

WorkcraftCore/src/org/workcraft/PluginManager.java

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

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

WorkcraftCore/src/org/workcraft/util/XmlUtil.java

WorkcraftCore/src/org/workcraft/workspace/Workspace.java

WorkcraftCore/src/scripts/functions.js

Older »