udpate lean4web-tools

leanprover-community · Apr 26, 2024 · 5440cbc · 5440cbc
1 parent fba687f
commit 5440cbc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Projects/lean4web-tools b/Projects/lean4web-tools
diff --git a/Projects/mathlib-demo/lake-manifest.json b/Projects/mathlib-demo/lake-manifest.json
@@ -67,7 +67,7 @@
   {"url": "https://github.com/hhu-adam/lean4web-tools.git",
    "type": "git",
    "subDir": null,
-   "rev": "9e6468e250c05450eedf4aff6e30290fb409af2b",
+   "rev": "0bf7f2dd6861b0be4c7f0e761a50ae03e6fb2d6b",
    "name": "webeditor",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

diff --git a/README.md b/README.md
@@ -36,7 +36,7 @@ sudo apt-get install git
 git clone --recurse-submodules https://github.com/leanprover-community/lean4web.git
 ```
 
-note that `--recurse-submodules` is needed to load the predefined projects in `Projects/`.
+note that `--recurse-submodules` is needed to load the predefined projects in `Projects/`. (on an existing clone, you can call `git submodule init` and `git submodule update`)
 
 Install Bubblewrap:
 ```