Compare revisions

2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1 · 2a40a0b1
--- a/frontend/classic/js/coq-highlighter.ts
+++ b/frontend/classic/js/coq-highlighter.ts
--- a/frontend/classic/js/coq-layout-classic.ts
+++ b/frontend/classic/js/coq-layout-classic.ts
--- a/frontend/classic/js/coq-manager.js
+++ b/frontend/classic/js/coq-manager.js
--- a/frontend/classic/js/coq-packages.ts
+++ b/frontend/classic/js/coq-packages.ts
@@ -189,6 +189,7 @@ export class PackageManager {
    }

    async addBundleZip(bname: string, resource: any, pkg_info?: CoqPkgInfo) {
+        // @ts-expect-error
        var pkg_info = pkg_info || {};

        var archive = await new CoqPkgArchive(resource).load();

--- a/frontend/classic/js/index.js
+++ b/frontend/classic/js/index.js
--- a/frontend/cli/build/project.ts
+++ b/frontend/cli/build/project.ts
--- a/frontend/cli/build/sdk/setup.ts
+++ b/frontend/cli/build/sdk/setup.ts
--- a/frontend/cli/build/workspace.ts
+++ b/frontend/cli/build/workspace.ts
--- a/frontend/cli/cli.ts
+++ b/frontend/cli/cli.ts
--- a/frontend/format-pprint/js/index.js
+++ b/frontend/format-pprint/js/index.js
--- a/frontend/node/src/headless.ts
+++ b/frontend/node/src/headless.ts
--- a/frontend/node/src/my_fflate.ts
+++ b/frontend/node/src/my_fflate.ts
--- a/index.html
+++ b/index.html
--- a/jscoq.js
+++ b/jscoq.js
+export * from './dist/frontend/index.js'
\ No newline at end of file
--- a/jscoq.opam
+++ b/jscoq.opam
--- a/package-lock.json
+++ b/package-lock.json
--- a/package.json
+++ b/package.json
--- a/package.json.wacoq
+++ b/package.json.wacoq
--- a/tests/qa0/nonzeros.v
+++ b/tests/qa0/nonzeros.v
--- a/coq-serapi @ 0bd0772f
+++ b/coq-serapi @ 0bd0772f
No results found