8000 Commits · kyoDralliam/coq · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jun 5, 2024

Merge PR #19040: Fix passing line number of errors in xml protocol, causing ill-located or non-located errors, notably in the presence of utf8 characters

coqbot-app[bot]
and
jfehrle
authored
Merge PR #19054: Restrict check_conv_problems in pretyping to those problems referring to the term to type

coqbot-app[bot]
and
SkySkimmer
authored
Merge PR #19109: canonical structure hook

coqbot-app[bot]
and
gares
authored
[ci] Switch dependencies serapi <-> coq_lsp
ejgallego
committed
Merge PR #17393: [library] Allow require to load libraries from memory.

coqbot-app[bot]
and
SkySkimmer
authored
catch exceptions returned from the hooks

Tragicus
authored and
gares
committed
canonical structure hook

Tragicus
authored and
gares
committed

Commits on Jun 3, 2024

0