diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2001-02-26 15:11:10 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2001-02-26 15:11:10 +0000 |
| commit | b3bf2290c4410c324b18e5bbd2c2d8d00ae96df3 (patch) | |
| tree | 5f6478599a06d196a4b11d44128c86937eb97bdc /phox | |
| parent | 5b1c6bbd4b23f9ebfd39caf4d7fd0811da812cda (diff) | |
minor change in coq.el to allow to force version of coq, with variable
coq-version-is-V7
Diffstat (limited to 'phox')
0 files changed, 0 insertions, 0 deletions