Updating links to scripts

Author: mattulbrich

docs/index.md

@@ -10,7 +10,7 @@ The documentation is split into two major parts:
 
 * End user: 
     * [How to use the KeY tool for *end user*](user/)
-    * [How to write Proof Scripts for resilient, persistent and reapplicable proofs*](workbench/Proof Scripts/)
+    * [How to write Proof Scripts for resilient, persistent and reapplicable proofs*](user/ProofScripts/)
 * Developer:
     * [How to use KeY as a library or add a new feature](devel/)
     * [How we test KeY](devel/Testing/)

mkdocs.yml

@@ -113,14 +113,14 @@ nav:
           - user/JMLGrammar.md
           - user/KeyGrammar.md
       - Proof Scripts:
-          - workbench/Proof Scripts/index.md
-          - workbench/Proof Scripts/linearScripts.md
-          - workbench/Proof Scripts/jml.md
-          - workbench/Proof Scripts/commands.md
-          # - workbench/Proof Scripts/language.md
-          - workbench/Proof Scripts/original.md
-          - workbench/Proof Scripts/macros.md
-          # - workbench/Proof Scripts/variables.md
+          - user/ProofScripts/index.md
+          - user/ProofScripts/linearScripts.md
+          - user/ProofScripts/jml.md
+          - user/ProofScripts/commands.md
+          # - user/ProofScripts/language.md
+          - user/ProofScripts/original.md
+          - user/ProofScripts/macros.md
+          # - user/ProofScripts/variables.md
 
   - KeYclipse:
       - "Overview": eclipse/index.md