Matita does not compile with the last version of Elpi

[francoisthire]

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]

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

Many thanks