Code

Always resolve files using Coq#684

Code

Merged

gares merged 4 commits intoLPCIC:masterLPCIC/coq-elpi:masterfrom rlepigre:resolverrlepigre/coq-elpi:resolverCopy head branch name to clipboardSep 24, 2024

+590-124

Commits

Commits on Sep 20, 2024

• Remove [dune-workspace] file.

  

  Rodolphe Lepigre

  authored and

  gares

  committed
  4a6e479

Commits on Sep 24, 2024

• Fix file resolution.

  Show description for 60f790a
  

  Rodolphe Lepigre

  authored and

  Rodolphe Lepigre

  committed
  60f790a

• fix doc

  

  gares

  authored and

  Rodolphe Lepigre

  committed
  096c1db

• Add changelog entry.

  

  Rodolphe Lepigre

  committed
  a591517