Merge pull request #1008 from coq/doc-version

feat: open doc at installed coq version

Author: rtetley

client/src/extension.ts

@@ -21,7 +21,7 @@ import {
 
 import Client from './client';
 import { updateServerOnConfigurationChange } from './configuration';
-import { checkVersion } from './utilities/versioning';
+import { checkVersion, getCoqdocUrl } from './utilities/versioning';
 import {initializeDecorations} from './Decorations';
 import GoalPanel from './panels/GoalPanel';
 import SearchViewProvider from './panels/SearchViewProvider';
@@ -254,7 +254,8 @@ export function activate(context: ExtensionContext) {
             commands.executeCommand('workbench.action.openWalkthrough', 'maximedenes.vscoq#coq.welcome', false); 
         });
         registerVscoqTextCommand('showManual', () => {
-            commands.executeCommand('simpleBrowser.show', 'https://coq.inria.fr/doc/master/refman/index.html'); 
+            const url = getCoqdocUrl(coqTM.getCoqVersion());
+            commands.executeCommand('simpleBrowser.show', url); 
         });
         registerVscoqTextCommand('displayProofView', () => {
             const editor = window.activeTextEditor ? window.activeTextEditor : window.visibleTextEditors[0];

client/src/utilities/versioning.ts

@@ -2,6 +2,12 @@ import { window, ExtensionContext } from "vscode";
 import { compareVersions } from "compare-versions";
 import Client from "../client";
 
+export const getCoqdocUrl = (coqVersion: string) => {
+    if(compareVersions(coqVersion, "8.18.0") >= 0 && compareVersions(coqVersion, "9.0.0") < 0) {
+        return (`https://coq.inria.fr/doc/V${coqVersion}/refman/index.html`);
+    }
+    return "https://coq.inria.fr/doc/master/refman/index.html"
+};
 
 export const checkVersion = (client: Client, context: ExtensionContext) => {
     const extensionVersion = context.extension.packageJSON.version;