Publish new patched version with no reverse on hyps

Paper-Proof · Jan 21, 2024 · 0ee92ae · 0ee92ae
1 parent b1b0a26
commit 0ee92ae
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/extension/package-lock.json b/extension/package-lock.json
diff --git a/extension/package.json b/extension/package.json
@@ -2,7 +2,7 @@
   "name": "paperproof",
   "displayName": "Paperproof",
   "description": "Lean therorem proving interface which feels like pen-and-paper proofs",
-  "version": "1.1.1",
+  "version": "1.1.2",
   "publisher": "paperproof",
   "repository": {
     "type": "git",