From 2f1169f5da75635a45bf4c7171f7fd2d4e5da307 Mon Sep 17 00:00:00 2001
From: seprov <95832216+seprov@users.noreply.github.com>
Date: Wed, 24 Sep 2025 10:58:47 -0500
Subject: [PATCH 1/2] Update README.md

---
 README.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/README.md b/README.md
index 22a98a3..faf7e01 100644
--- a/README.md
+++ b/README.md
@@ -15,6 +15,14 @@ To use the ImandraX extension, an `imandrax-cli` binary must be in your `PATH`.
 missing, this extension will prompt you to install it. It will effectively run the script from
 http://imandra.ai/get-imandrax.sh with all of the default options.
 
+### Updating ImandraX
+
+If you need to reinstall or update ImandraX, you can run the following command:
+
+```sh
+sh -c "$(curl -fsSL https://imandra.ai/get-imandrax.sh)"
+```
+
 ### Supported platforms
 
 ImandraX is currently supported on MacOS, Linux, and Windows via WSL.

From cf334ccc6f0e36655ffa6051e3ae1fd0033d250b Mon Sep 17 00:00:00 2001
From: seprov <95832216+seprov@users.noreply.github.com>
Date: Wed, 24 Sep 2025 10:59:11 -0500
Subject: [PATCH 2/2] update version

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 43c8111..1b37bb1 100644
--- a/package.json
+++ b/package.json
@@ -10,7 +10,7 @@
     "theme": "dark"
   },
   "license": "MIT",
-  "version": "0.0.42",
+  "version": "0.0.43",
   "repository": {
     "type": "git",
     "url": "https://github.com/imandra-ai/imandrax-vscode"