lean4monaco 1.0.28 → 1.0.29

package/README.md

@@ -136,7 +136,10 @@ export default {
 
 `lean4monaco` contains a sample project `lean4monaco/demo/` which you can use for comparison.
 
-If you cloned `lean4monaco`, you can run the demo with
+Ideally you clone this repo using `git clone --recurse-submodules <ssh/https address>` to load the included submodule.
+(alternatively, call `git submodule init && git submodule update` inside the cloned the repo).
+
+Afterwards, you can run the demo with
 
 ```
 cd lean4monaco
@@ -160,4 +163,4 @@ Some random errors we encountered. If you have more, please share them.
 ### Warnings on `npm install`
 
 * Warnings about `glob` and `inflight` come from `copyfiles`: see [copyfiles#132](https://github.com/calvinmetcalf/copyfiles/pull/132)
-* Warning about ` @types/cypress` comes from `cypress-iframe`
+* Warning about ` @types/cypress` comes from `cypress-iframe`

package/dist/leanmonaco.js

@@ -181,7 +181,7 @@ export class LeanMonaco {
             ...packageJson,
             contributes: {
                 ...packageJson.contributes,
-                configuration: packageJson.contributes.configuration,
+                configuration: packageJson.contributes.configuration, // Apparently `IExtensionContributions.configuration` has type `any`
                 // TODO: This is suspect, the thrid entry does not have "language", yet it doesn't complain
                 // look into that.
                 grammars: packageJson.contributes.grammars,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.28",
+  "version": "1.0.29",
   "description": "Monaco Editor support for the Lean 4 theorem prover.",
   "keywords": [
     "lean",
@@ -33,11 +33,12 @@
     "url": "https://github.com/hhu-adam/lean4monaco"
   },
   "scripts": {
-    "start": "concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"",
+    "setup_demo": "concurrently \"(cd demo && npm install)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"",
+    "start": "npm run setup_demo && concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start_client\" \"cd demo && npm run start_server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"",
     "watch:copyfiles": "nodemon --watch ./src --exec \"npm run build:copyfiles\"",
     "build": "tsc && webpack && npm run build:copyfiles",
     "build:copyfiles": "cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/",
-    "test": "(cd demo && npm install && npm run build_server) && concurrently --kill-others \"npm start 1> /dev/null\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress"
+    "test": "concurrently --hide 0 --kill-others \"npm start\" \"wait-on http://localhost:5173 && cypress run\" -n server,cypress -s command-cypress"
   },
   "dependencies": {
     "@leanprover/infoview": "^0.7.3",