Update version number and description in

package.json
RAIRLab · Dec 16, 2023 · 5f798b3 · 5f798b3
1 parent e8f138b
commit 5f798b3
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1 @@
+src/libs/* linguist-detectable=false
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "lazyslate",
-  "version": "1.0.0",
-  "description": "## Info",
+  "version": "1.0.2",
+  "description": "Lazyslate is a web-based graphical interactive theorem prover based on the slate system.",
   "scripts": {
     "build": "webpack --mode production"
   },