Compare revisions

bb85c2f6 · bb85c2f6 · bb85c2f6 · bb85c2f6 · bb85c2f6 · bb85c2f6
--- a/plugins/contracts/org.polarsys.chess.contracts.integration/about.html
+++ b/plugins/contracts/org.polarsys.chess.contracts.integration/about.html
--- a/plugins/contracts/org.polarsys.chess.contracts.integration/build.properties
+++ b/plugins/contracts/org.polarsys.chess.contracts.integration/build.properties
--- a/plugins/contracts/org.polarsys.chess.contracts.integration/plugin.xml
+++ b/plugins/contracts/org.polarsys.chess.contracts.integration/plugin.xml
--- a/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/Activator.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/Activator.java
--- a/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/InputStreamer.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/InputStreamer.java
--- a/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/ToolIntegration.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/ToolIntegration.java
--- a/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/preferences/OcraAnalysisPreferencePage.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/preferences/OcraAnalysisPreferencePage.java
--- a/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/preferences/XsapAnalysisPreferencePage.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/preferences/XsapAnalysisPreferencePage.java
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/.classpath
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/.classpath
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/.settings/org.eclipse.jdt.core.prefs
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/.settings/org.eclipse.jdt.core.prefs
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/META-INF/MANIFEST.MF
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/META-INF/MANIFEST.MF
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/about.html
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/about.html
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/build.properties
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/build.properties
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.di
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.di
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.genmodel
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.genmodel
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.notation
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.notation
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.uml
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.uml
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/model/chesscontract.ecore
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/model/chesscontract.ecore
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations
--- a/plugins/contracts/org.polarsys.chess.contracts.profile/palettes/CHESSContractui.elementtypesconfigurations
+++ b/plugins/contracts/org.polarsys.chess.contracts.profile/palettes/CHESSContractui.elementtypesconfigurations
No results found