diff options
| author | Pierre Courtieu | 2004-03-15 10:26:12 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-15 10:26:12 +0000 |
| commit | af0373306857ae7ec403a0872974a4ea4a4da4a1 (patch) | |
| tree | 0d649e537ddce9c9cab05d4ac9c618da252ecbac /generic/proof-script.el | |
| parent | f86882c6352c97753f74883cfeb4f17dab8d2f34 (diff) | |
little bug fix in coq-indent.el
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions