diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-10 19:42:39 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-10 20:31:38 +0200 |
| commit | bc3981687cd363820e35e5a2bd037d50e213f524 (patch) | |
| tree | 7829deffc40f17be0ef9ab423cad410e71ab6ac2 /INSTALL | |
| parent | b82512946a2818e13397b9f1a128fcafe4a78ba5 (diff) | |
Overlooked use of Gram instead of G module in Pcoq.
This was probably wreaking havoc in tricky undo-redo scenarii.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions