Merge pull request rocq-community#67 from MysaaJava/cleanup

Cleaning Elpi and Rocq code

Author: CohenCyril

.gitignore

@@ -13,3 +13,6 @@
 /_CoqProject
 # Symlink to /tests/_CoqProject.std or /tests/_CoqProject.hott
 /tests/_CoqProject
+
+# Website
+website/_site/

.nix/config.nix

@@ -21,7 +21,6 @@
     "rocq-9.1" = {
       rocqPackages = { rocq-core.override.version = "9.1"; };
       coqPackages = common-bundles // {
-        coq-elpi.override.elpi-version = "3.4.2";
         coq.override.version = "9.1";
         HoTT.override.version = "master"; # HoTT isn't available yet for 9.1
       };

.nix/coq-nix-toolbox.nix

@@ -1 +1 @@
-"3a71d8318b495d464d04ac8bca80b38320448436"
+"01dec2f674ed4aa3d7cc00c8fbfb826ea3291658"

CHANGELOG.md

@@ -101,7 +101,3 @@ And four commands:
   Subsequent calls to `trocq R` will be able to use the translations `t1`,
   `t2`, ...
 - `Trocq Logging "off"|"info"|"debug"|"trace"` to set the verbosity level.
-
-## ESOP 2024 artifact documentation
-
-The ESOP 2024 artifact documentation files can be found in the `artifact-doc` directory, except for `INSTALL.md` that can be found in the current directory.