Code

Support Coq 8.19#40

Code

Merged

Nfsaavedra merged 6 commits intomastersr-lab/coqpyt:masterfrom coq_v819sr-lab/coqpyt:coq_v819Copy head branch name to clipboardFeb 15, 2024

+118-65

Commits

Commits on Feb 15, 2024

• Fix handling of VernacExtend for Coq 8.19

  pcarrott

  committed
  09c0f16

• Add versions to forall notation in test yamls

  pcarrott

  committed
  c27dbac

• black

  pcarrott

  committed
  43b118d

• minor version handling change

  pcarrott

  committed
  d4aa79e

• minor

  pcarrott

  committed
  0493f66

• Fix version handling in tests

  pcarrott

  committed
  1dc5287