diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2004-02-11 16:40:32 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2004-02-11 16:40:32 +0000 |
| commit | 783f894cf4d80314cef62bfde204c6f8dcd1ffbf (patch) | |
| tree | bd1a9d6e8add944add7442903180757a3bea80b6 /coq/coq.el | |
| parent | 5fc999f14be71376ef928832f3188cb1a50f472f (diff) | |
little error in the syntax corrected.
Diffstat (limited to 'coq/coq.el')
0 files changed, 0 insertions, 0 deletions