Fix links to old docs site

Author: FliegendeWurst

README.md

@@ -5,7 +5,7 @@
 ## Getting Started to Write
 
 An overview about some markdown (extension) is avaiable in `docs/howtodoc.md` or 
-http://key-project.org/docs/howtodoc/
+https://keyproject.github.io/key-docs/devel/howtodoc/
 
 Webpages are determined by folder structure under `docs/`. Just create or change
 files within this folder. The top-level header is the title of this page in the

docs/user/quicktour/appendix.md

@@ -478,10 +478,9 @@ Setting Up Own Projects {#app:configuringProjects}
 If not specified otherwise via a classpath directive, KeY includes
 a restricted set of signatures of classes and methods from the default
 standard library. The current set of classes can be found
-at <https://git.key-project.org/key-public/key/-/tree/stable/key/key.core/src/main/resources/de/uka/ilkd/key/java/JavaRedux>.
+at <https://github.com/KeYProject/key/tree/main/key.core/src/main/resources/de/uka/ilkd/key/java/JavaRedux>.
 
-For documentation on how to set up your own classpath, see
-<https://www.key-project.org/docs/Using%20KeY/Classpath/>.
+For documentation on how to set up your own classpath, see [Using the classpath directives in KeY](../Classpath.md).
 
 [^1]: Potential warnings can be safely ignored here.
 

docs/workbench/Proof Scripts/index.md

@@ -4,7 +4,7 @@ To persist interactions performed during proof contsruction in KeY and to replay
 interactions, KeY allows users to use proof scripts.
 
 In this documentation the scripts that allow for branching statements are eplained. (see [Explanation
-of linear scripts](https://key-project.org/docs/Proof%20Scripts/linearScripts) for the other version of scripts in KeY)
+of linear scripts](./linearScripts.md) for the other version of scripts in KeY)
 
 The three main building blocks of the scripting language are mutators, control-flow
 structures, and selectors for proof goals. We describe the general concepts in the

share/quicktour/tex/text/appendix.tex

@@ -481,9 +481,9 @@ \section{Setting Up Own Projects}
 
 If not specified otherwise via a classpath directive, \KeY\ includes a
 restricted set of signatures of classes and methods from the default
-standard library. The current set of classes can be found at~\url{https://git.key-project.org/key-public/key/-/tree/stable/key/key.core/src/main/resources/de/uka/ilkd/key/java/JavaRedux}.
+standard library. The current set of classes can be found at~\url{https://github.com/KeYProject/key/tree/main/key.core/src/main/resources/de/uka/ilkd/key/java/JavaRedux}.
 
-For documentation on how to set up your own classpath, see \url{https://www.key-project.org/docs/Using\%20KeY/Classpath/}.
+For documentation on how to set up your own classpath, see \url{https://keyproject.github.io/key-docs/user/Classpath/}.
 
 
 %%% Local Variables: