# HG changeset patch
# User wenzelm
# Date 1582729409 -3600
# Node ID aa7b0a5e9fe3bf24266dc47ccb68cb06ebeda9ac
# Parent  ea6adb18730df7cbc81e313d7cadc6dc09ea840a
updated for release;

diff -r ea6adb18730d -r aa7b0a5e9fe3 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Wed Feb 26 15:41:27 2020 +0100
+++ b/src/Tools/VSCode/extension/package.json	Wed Feb 26 16:03:29 2020 +0100
@@ -14,13 +14,13 @@
     "publisher": "makarius",
     "license": "MIT",
     "repository": {
-        "url": "https://isabelle.in.tum.de/repos/isabelle"
+        "url": "https://isabelle-dev.sketis.net"
     },
     "engines": {
         "vscode": "^1.32.0"
     },
     "categories": [
-        "Languages"
+        "Programming Languages"
     ],
     "activationEvents": [
         "onLanguage:isabelle",