Point to paperproof.xyz

README.md

@@ -21,7 +21,7 @@ In future potentially with LLMs and visual transformers trying to understand use
 
 1. Install the extension from `extension/` folder
 ```console
-code --install-extension paperproof-0.0.4.vsix
+code --install-extension paperproof-0.0.5.vsix
 ```
 
 2. Run the dev server (you might need to run `yarn install` first)
@@ -37,7 +37,7 @@ http://localhost:80
 If you change something in the `/extension` folder, run
 
 ```console
-vsce package; code --uninstall-extension undefined_publisher.paperproof; code --install-extension paperproof-0.0.4.vsix
+vsce package; code --uninstall-extension undefined_publisher.paperproof; code --install-extension paperproof-0.0.5.vsix
 ```
 and quit VSCode.
 

app/src/indexBrowser.tsx

@@ -20,7 +20,7 @@ interface PaperProofWindow extends Window {
 
 declare const window: PaperProofWindow;
 
-const BASE_URL = "http://localhost:80";
+const BASE_URL = "https://paperproof.xyz";
 
 // TODO: We should use the vscode font for consistency with Lean probably
 // const fontFamily = 'Menlo, Monaco, "Courier New", monospace;'

extension/README.md

@@ -28,4 +28,8 @@ Initial release of the extension sending data to the server.
 
 ### 0.0.4
 
-Send state updates directly to extension webview as well as the server
+Send state updates directly to extension webview as well as the server
+
+### 0.0.5
+
+Support sessions

extension/package.json

@@ -2,7 +2,7 @@
   "name": "paperproof",
   "displayName": "paperproof",
   "description": "Extension which queries Lean server each time cursor position changes and sends context to the web server",
-  "version": "0.0.4",
+  "version": "0.0.5",
   "repository": {
     "type": "git",
     "url": "https://github.com/antonkov/paper-proof"

extension/src/extension.ts

@@ -4,7 +4,7 @@ import fetch from "node-fetch";
 // @ts-ignore
 import converter from "./converter";
 
-const SERVER_URL = "http://localhost:80";
+const SERVER_URL = "https://paperproof.xyz";
 let sessionId: string | null = null;
 let latestInfo: object | null = null;