Finished making holes.el a real minor-mode. There is a new file

holes-load.el which defines the autoloads (enough of them?). All
functions have the prefix "holes-", and offending keyboard shortcuts
have been either removed or bound to the minor mode. I made holes-mode
minor mode automatically turned on in all proof buffers in coq mode
(including shell, script and response buffers as it may be useful to
 copy paste parts of this buffers into holes).

0 files changed, 0 insertions, 0 deletions