List view

• 1.12.0

  hopefully contain the API changes needed for the ppx, in particular the unification of Conversion.t and ContextualConversion.t

  Due by August 31, 2020

  •0/2 issues closed
  0% complete2 open0 closed

• 1.11.0

  Due by May 8, 2020

  •1/1 issues closed
  100% complete0 open1 closed

• 1.7

  Hopefully the last missing bit for coq-elpi will be there

  Due by September 2, 2019

  •8/8 issues closed
  100% complete0 open8 closed

• 1.0

  First public release

  Due by May 1, 2018

  •1/1 issues closed
  100% complete0 open1 closed