Merge branch 'master' of ssh://i12cvs.ira.uka.de/home/projekt/GIT_REP…

…OS/key into KeY2.0
KeYProject · Apr 18, 2013 · 04e0b5e · 04e0b5e
2 parents b6252fe + c8d8aa4
commit 04e0b5e
Show file tree

Hide file tree

Showing 8 changed files with 9 additions and 9 deletions.
diff --git a/projects/KeY4Eclipse/src/features/org.key_project.key4eclipse.feature/feature.xml b/projects/KeY4Eclipse/src/features/org.key_project.key4eclipse.feature/feature.xml
@@ -115,7 +115,7 @@ Java and all Java-based trademarks are trademarks of Sun Microsystems, Inc. in t
    </license>
 
    <url>
-      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/2.0/indigo"/>
+      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/eclipse/indigo"/>
    </url>
 
    <requires>

diff --git a/projects/KeY4Eclipse/src/features/org.key_project.key4eclipse.starter.feature/feature.xml b/projects/KeY4Eclipse/src/features/org.key_project.key4eclipse.starter.feature/feature.xml
@@ -115,7 +115,7 @@ Java and all Java-based trademarks are trademarks of Sun Microsystems, Inc. in t
    </license>
 
    <url>
-      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/2.0/indigo"/>
+      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/eclipse/indigo"/>
    </url>
 
    <includes

diff --git a/projects/KeY4Eclipse/src/updateSite/org.key_project.indigo/site.xml b/projects/KeY4Eclipse/src/updateSite/org.key_project.indigo/site.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <site>
-   <description name="KeY Indigo Updates" url="http://www.key-project.org/download/releases/2.0/indigo">
-      This update site provides the KeY 2.0 based Eclipse projects for the Eclipse Indigo release.
+   <description name="KeY Indigo Updates" url="http://www.key-project.org/download/releases/eclipse/indigo">
+      This update site provides the currently released KeY based Eclipse projects for the Eclipse Indigo release.
    </description>
    <feature url="features/org.key_project.key4eclipse.starter.feature_1.0.0.qualifier.jar" id="org.key_project.key4eclipse.starter.feature" version="1.0.0.qualifier">
       <category name="org.key_project.category.verification"/>

diff --git a/projects/KeYIDE/src/features/org.key_project.keyide.feature/feature.xml b/projects/KeYIDE/src/features/org.key_project.keyide.feature/feature.xml
@@ -109,7 +109,7 @@ Java and all Java-based trademarks are trademarks of Sun Microsystems, Inc. in t
    </license>
 
    <url>
-      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/2.0/indigo"/>
+      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/eclipse/indigo"/>
    </url>
 
    <includes

diff --git a/projects/MonKeY/src/features/org.key_project.monkey.feature/feature.xml b/projects/MonKeY/src/features/org.key_project.monkey.feature/feature.xml
@@ -115,7 +115,7 @@ Java and all Java-based trademarks are trademarks of Sun Microsystems, Inc. in t
    </license>
 
    <url>
-      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/2.0/indigo"/>
+      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/eclipse/indigo"/>
    </url>
 
    <includes

diff --git a/projects/SymbolicExecutionDebugger/src/features/org.key_project.sed.feature/feature.xml b/projects/SymbolicExecutionDebugger/src/features/org.key_project.sed.feature/feature.xml
@@ -115,7 +115,7 @@ Java and all Java-based trademarks are trademarks of Sun Microsystems, Inc. in t
    </license>
 
    <url>
-      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/2.0/indigo"/>
+      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/eclipse/indigo"/>
    </url>
 
    <includes

diff --git a/projects/VisualDbC/src/features/de.hentschel.visualdbc.feature/feature.xml b/projects/VisualDbC/src/features/de.hentschel.visualdbc.feature/feature.xml
@@ -115,7 +115,7 @@ Java and all Java-based trademarks are trademarks of Sun Microsystems, Inc. in t
    </license>
 
    <url>
-      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/2.0/indigo"/>
+      <update label="KeY Indigo Updates" url="http://www.key-project.org/download/releases/eclipse/indigo"/>
    </url>
 
    <includes

diff --git a/...cts/VisualDbC/src/plugins/de.hentschel.visualdbc.help/help/tasks/CreateExampleProject.htm b/...cts/VisualDbC/src/plugins/de.hentschel.visualdbc.help/help/tasks/CreateExampleProject.htm
@@ -12,7 +12,7 @@ <h1>Create an Example Project</h1>
          The following examples exists for the KeY data source:
          <ul>
             <li><a href='javascript:executeCommand("org.eclipse.ui.newWizard(newWizardId=de.hentschel.visualdbc.example.wizard.BankingWizard)")'>Banking Example</a></li>
-            <li><a href='javascript:executeCommand("org.eclipse.ui.newWizard(newWizardId=de.hentschel.visualdbc.example.wizard.KeyQuicktourWizard)")'>KeY Quicktour</a> (for more information visit the <a href="http://www.key-project.org/download/key.html" target="_blank">KeY website</a></li>
+            <li><a href='javascript:executeCommand("org.eclipse.ui.newWizard(newWizardId=de.hentschel.visualdbc.example.wizard.KeyQuicktourWizard)")'>KeY Quicktour</a> (for more information visit the <a href="http://www.key-project.org/download" target="_blank">KeY website</a></li>
          </ul>
       </p>
       <p>