diff options
| author | Pierre Courtieu | 2003-02-05 12:57:00 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2003-02-05 12:57:00 +0000 |
| commit | f59be791218fca2f3a0a82a5d5db4a16ce49f33f (patch) | |
| tree | 61edacc61dcffb4ab8aa91d55b678546a4954357 /generic/proof-script.el | |
| parent | de1eb0269e1d678f79368c1438133111e0655fd5 (diff) | |
Added a paragraph in the documentation for the variable coq-version-is-V74.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions