chore: bump infoview and infoview-api versions

leanprover · Jan 12, 2025 · c8170d2 · c8170d2
1 parent 7725ba0
commit c8170d2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/lean4-infoview-api/package.json b/lean4-infoview-api/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview-api",
-    "version": "0.4.0",
+    "version": "0.5.0",
     "description": "Types and API for @leanprover/infoview.",
     "scripts": {
         "watch": "tsc --watch",

diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview",
-    "version": "0.7.10",
+    "version": "0.8.0",
     "description": "An interactive display for the Lean 4 theorem prover.",
     "scripts": {
         "watch": "rollup --config --environment NODE_ENV:development --watch",
@@ -10,11 +10,11 @@
     },
     "exports": {
         ".": {
-            "default": "./dist/index.production.min.js",
+            "default": "./dist/index.development.js",
             "types": "./dist/index.d.ts"
         },
         "./loader": {
-            "default": "./dist/loader.production.min.js",
+            "default": "./dist/loader.development.js",
             "types": "./dist/loader.d.ts"
         },
         "./package.json": "./package.json"
@@ -49,7 +49,7 @@
         "typescript": "^5.4.5"
     },
     "dependencies": {
-        "@leanprover/infoview-api": "~0.4.0",
+        "@leanprover/infoview-api": "~0.5.0",
         "@vscode/codicons": "^0.0.32",
         "@vscode-elements/react-elements": "^0.5.0",
         "es-module-lexer": "^1.5.4",