LPCIC/matita

Issues

• Not compatible with OCaml 4.06

  #4 opened 6 years ago by francoisthire
  1

• Should the files matita/components/*/.depend[.opt] be under Git?

  #3 opened 7 years ago by fblanqui
  0

• Matita does not compile with the last version of Elpi

  #1 opened 7 years ago by francoisthire
  1