From c8d8aa4bcec2414639c4dea6273b04aa47de1fac Mon Sep 17 00:00:00 2001
From: Martin Hentschel <hentschel@cs.tu-darmstadt.de>
Date: Thu, 18 Apr 2013 12:00:38 +0200
Subject: [PATCH] All Eclipse Projects: Changed Indigo Update Site URL

---
 .../features/org.key_project.key4eclipse.feature/feature.xml  | 2 +-
 .../org.key_project.key4eclipse.starter.feature/feature.xml   | 2 +-
 .../src/updateSite/org.key_project.indigo/site.xml            | 4 ++--
 .../src/features/org.key_project.keyide.feature/feature.xml   | 2 +-
 .../src/features/org.key_project.monkey.feature/feature.xml   | 2 +-
 .../src/features/org.key_project.sed.feature/feature.xml      | 2 +-
 .../src/features/de.hentschel.visualdbc.feature/feature.xml   | 2 +-
 .../help/tasks/CreateExampleProject.htm                       | 2 +-
 8 files changed, 9 insertions(+), 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
index fd69ade7818..e5fe38a45e3 100644
--- 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
index c510dd16600..22edf65ba80 100644
--- 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
index 20346cdd6c9..a5033ed4c6a 100644
--- 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
index 7777626415c..ea373263ece 100644
--- 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
index fa9f7fc31e1..7d950d3cdcf 100644
--- 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
index 3099c9c49cb..992e97b09b1 100644
--- 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
index 4b26f9dccc6..f5f076ddb39 100644
--- 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/projects/VisualDbC/src/plugins/de.hentschel.visualdbc.help/help/tasks/CreateExampleProject.htm b/projects/VisualDbC/src/plugins/de.hentschel.visualdbc.help/help/tasks/CreateExampleProject.htm
index f269e3ddb8e..6d731d9c91a 100644
--- a/projects/VisualDbC/src/plugins/de.hentschel.visualdbc.help/help/tasks/CreateExampleProject.htm
+++ b/projects/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>