visualproof 0.4.0 → 0.4.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1,8 +1,8 @@
1
1
  {
2
2
  "film": {
3
- "file": "tour-d98aa9f30925.mp4",
4
- "sha256": "d98aa9f309254c0591ebd3bde6107750f4e1881c3fdd12d3824631daec0ce940",
5
- "size": 53705683,
3
+ "file": "tour-9d4241345aaf.mp4",
4
+ "sha256": "9d4241345aaf68755b689fd0ba6b3139a2b077a68996361445b8098398079620",
5
+ "size": 53706647,
6
6
  "width": 2560,
7
7
  "height": 1600,
8
8
  "duration": 238.96666666666667
@@ -23198,7 +23198,7 @@ function offsetIn(root, node, off) {
23198
23198
  }
23199
23199
 
23200
23200
  // src/web/src/reload.ts
23201
- var PAGE_VERSION = true ? "0.4.0" : null;
23201
+ var PAGE_VERSION = true ? "0.4.1" : null;
23202
23202
  var KEY4 = "visualproof:reload";
23203
23203
  var FOR_KEY2 = "visualproof:reloaded-for";
23204
23204
  var FRESH_MS = 10 * 6e4;
@@ -51894,7 +51894,7 @@ async function waitReady(data) {
51894
51894
  const log = $4("#loader-log");
51895
51895
  for (; ; ) {
51896
51896
  const st2 = await data.status();
51897
- log.textContent = st2.log.slice(-8).join("\n");
51897
+ log.textContent = (st2.log ?? []).slice(-8).join("\n");
51898
51898
  if (st2.state === "ready") return { graph: st2.graph ?? null, editor: st2.editor ?? null };
51899
51899
  if (st2.state === "error") {
51900
51900
  $4("#loader-title").textContent = "Could not read the project";
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "visualproof",
3
- "version": "0.4.0",
3
+ "version": "0.4.1",
4
4
  "type": "module",
5
5
  "description": "See a Lean codebase's declaration graph and the TCB of its theorems.",
6
6
  "license": "Apache-2.0",