diff --git a/README.md b/README.md
index 80ae25ce..62b8a5a5 100644
--- a/README.md
+++ b/README.md
@@ -8,13 +8,13 @@
VDM-VSCode is an extension for Visual Studio Code (VS Code) that provides language support for the VDM dialects VDM-SL, VDM++ and VDM-RT.
The extension utilises a [language server powered by VDMJ](https://github.com/nickbattle/vdmj/tree/master/lsp) that is developed by [Nick Battle](https://github.com/nickbattle).
-
+
\*If you are used to the Overture Tool IDE and would like to keep that syntax highlighting we suggest that you use the color theme [Eclipse Classic Light](https://marketplace.visualstudio.com/items?itemName=LorenzoBilli.eclipse-classic-light) or another eclipse color theme.
## Wiki
-Check out the [wiki](https://github.com/jonaskrask/vdm-vscode/wiki) for the extension for information about how to get started, learning how to use the features, see developer notes and much more!
-Find the wiki at: [https://github.com/jonaskrask/vdm-vscode/wiki](https://github.com/jonaskrask/vdm-vscode/wiki)
+Check out the [wiki](https://github.com/overturetool/vdm-vscode/wiki) for the extension for information about how to get started, learning how to use the features, see developer notes and much more!
+Find the wiki at: [https://github.com/overturetool/vdm-vscode/wiki](https://github.com/overturetool/vdm-vscode/wiki)
## Installation
@@ -60,11 +60,11 @@ Thus, most feature contributions relates to the desktop version of the extension
Open a folder (single VDM project) or a workspace (multiple VDM projects) and then open a VDM file(`.vdmsl`, `.vdmpp` or `.vdmrt`) from the explorer window. This will automatically start the language server in the background.
-[Click here](https://github.com/jonaskrask/vdm-vscode/wiki/Usage-GIFs) for an overview of how to use the features of the extension.
+[Click here](https://github.com/overturetool/vdm-vscode/wiki/Usage-GIFs) for an overview of how to use the features of the extension.
## Settings
-This extension contributes a number of settings. [Click here](https://github.com/jonaskrask/vdm-vscode/wiki/Settings) for a detailed overview.
+This extension contributes a number of settings. [Click here](https://github.com/overturetool/vdm-vscode/wiki/Settings) for a detailed overview.
## Publications
@@ -84,9 +84,9 @@ See change log [here](CHANGELOG.md).
## Issues
-Submit an [issue](https://github.com/jonaskrask/vdm-vscode/issues) if you find a bug or have a suggestion for improving the extension.
+Submit an [issue](https://github.com/overturetool/vdm-vscode/issues) if you find a bug or have a suggestion for improving the extension.
## Contributing
-Contributions are very welcome. To do so either open an issue or feature request or fork the [repo](https://github.com/jonaskrask/vdm-vscode) and submit a pull request.
+Contributions are very welcome. To do so either open an issue or feature request or fork the [repo](https://github.com/overturetool/vdm-vscode) and submit a pull request.
For further information see [here](CONTRIBUTING.md).
diff --git a/package.json b/package.json
index b574b5d3..10a1e6a4 100644
--- a/package.json
+++ b/package.json
@@ -37,14 +37,14 @@
"main": "./out/src/extension",
"browser": "./out/src/webExtension.js",
"icon": "resources/icons/Overture.png",
- "homepage": "https://github.com/jonaskrask/vdm-vscode/blob/master/README.md",
+ "homepage": "https://github.com/overturetool/vdm-vscode/blob/master/README.md",
"repository": {
"type": "git",
- "url": "https://github.com/jonaskrask/vdm-vscode"
+ "url": "https://github.com/overturetool/vdm-vscode"
},
"bugs": {
"type": "git",
- "url": "https://github.com/jonaskrask/vdm-vscode/issues"
+ "url": "https://github.com/overturetool/vdm-vscode/issues"
},
"activationEvents": [
"onDebugResolve:vdm",
diff --git a/test/suite/extension.test.ts b/test/suite/extension.test.ts
index fe651aec..ccb1c273 100644
--- a/test/suite/extension.test.ts
+++ b/test/suite/extension.test.ts
@@ -21,7 +21,7 @@ suite("Extension Test Suite", () => {
.getExtension("overturetool.vdm-vscode")
.activate()
.then(() => {
- assert.ok(vscode.extensions.getExtension("jonaskrask.vdm-vscode").isActive);
+ assert.ok(vscode.extensions.getExtension("overturetool.vdm-vscode").isActive);
});
});
});