search

LPCIC / matita

Matita (proof assistant) with embedded elpi
11 stars 3 forks source link

Matita does not compile with the last version of Elpi #1

Open francoisthire opened 6 years ago

francoisthire commented 6 years ago

The interface of Elpi has changed and the branch master has not been updated, hence the compilation fails.

Fortunately, someone fixed that issue on the branch DoubleK. Using the command git cherry-pick 2af052509d32c it is possible to compile Matita again.

gares commented 6 years ago

Given that you tree is compiling, would you mind pushing it to your github space and make a PR?

Many thanks