pg · 0132b8aa669adc10e6ca953d10d5c0b861f304b1 · CertiCompil / CompCert-IntrinSec · GitLab

Due to inactivity, this project is scheduled to be deleted on 2037-01-22. Why is this scheduled?

Aug 03, 2019
ff1ead9f
Simplify invocation of Emacs + Proof General · ff1ead9f
Xavier Leroy authored Aug 03, 2019
```
PG now uses the _Coqproject file and finds relevant paths there.
```
ff1ead9f
Simplify invocation of Emacs + Proof General
Xavier Leroy authored Aug 03, 2019
```
PG now uses the _Coqproject file and finds relevant paths there.
```