Merge branch 'v8.19' into v8.18

CHANGES.md

@@ -95,6 +95,9 @@
    fixes #682, cc #479 #488, thanks to @Hazardouspeach for the report)
  - New `--int_backend={Coq,Mp}` command line parameter to select the
    interruption method for Coq (@ejgallego, #684)
+ - Update `package-lock.json` for latest bugfixes (@ejgallego, #687)
+ - Update Nix flake enviroment (@Alizter, #684 #688)
+ - Update `prettier` (@Alizter @ejgallego, #684 #688)
 
 # coq-lsp 0.1.8.1: Spring fix
 -----------------------------

coq/workspace.mli

@@ -45,9 +45,13 @@ type t = private
   ; coqcorelib : string
   ; ocamlpath : string option
   ; vo_load_path : Loadpath.vo_path list
+        (** List of -R / -Q flags passed to Coq, usually theories we depend on *)
   ; ml_include_path : string list
+        (** List of paths to look for Coq plugins, deprecated in favor of
+            findlib *)
   ; require_libs : Require.t list
-  ; flags : Flags.t
+        (** Modules to preload, usually Coq.Init.Prelude *)
+  ; flags : Flags.t  (** Coq-specific flags *)
   ; warnings : Warning.t list
   ; kind : string  (** How the workspace was built *)
   ; debug : bool  (** Enable backtraces *)