From 2a40a0b19080af4e0a0b30aa9f67b101dfc3d366 Mon Sep 17 00:00:00 2001
From: David Hamelin <david.hamelin@inria.fr>
Date: Wed, 23 Oct 2024 14:25:32 +0200
Subject: [PATCH] Removed initialization of equations
---
coqdoclight.py | 2 +-
index.html | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/coqdoclight.py b/coqdoclight.py
index 664ab701..a71db4f0 100644
--- a/coqdoclight.py
+++ b/coqdoclight.py
@@ -617,7 +617,7 @@ out("""
implicit_libs: false,
focus: false,
editor: { mode: { 'company-coq': true } },
- all_pkgs: {'./coq-pkgs': ['coq'], './addons/teach/coq-pkgs': ['teach'], './addons/equations/coq-pkgs': ['equations']}
+ all_pkgs: {'./coq-pkgs': ['coq'], './addons/teach/coq-pkgs': ['teach']}
};
JsCoq.start(jscoq_ids, jscoq_opts).then(res => {
diff --git a/index.html b/index.html
index f3c24511..e23f8b69 100644
--- a/index.html
+++ b/index.html
@@ -256,7 +256,7 @@ Qed.</textarea>
implicit_libs: false,
focus: false,
editor: { mode: { 'company-coq': true } },
- all_pkgs: {'./coq-pkgs': ['coq'], './addons/teach/coq-pkgs': ['teach'], './addons/equations/coq-pkgs': ['equations']}
+ all_pkgs: {'./coq-pkgs': ['coq'], './addons/teach/coq-pkgs': ['teach']}
};
JsCoq.start(jscoq_ids, jscoq_opts).then(res => {
--
GitLab