diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2005-03-08 16:41:51 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2005-03-08 16:41:51 +0000 |
commit | 87af89b6acfaf48afc3166f10371bf6d190241f0 (patch) | |
tree | 8c83aa6adfdc6399c430ab5c29d1703cb8ae8b63 /REGISTER | |
parent | 9595f713345cec80cc03bd09ec0c8c747c7dd6d8 (diff) |
making holes.el cleaner, with the help of Stefan Monnier. I had to
adapt coq.el to these modifications.
Diffstat (limited to 'REGISTER')
0 files changed, 0 insertions, 0 deletions