index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
Commit message (
Expand
)
Author
Age
*
- Remove wrong docstring on make-detached-span.
David Aspinall
2005-05-17
*
Deleted file
David Aspinall
2005-05-17
*
debugging and cleaning of holes.el.
Pierre Courtieu
2005-03-10
*
small modifications, updating doc string of holes.el.
Pierre Courtieu
2005-03-08
*
making holes.el cleaner, with the help of Stefan Monnier. I had to
Pierre Courtieu
2005-03-08
*
cleaning holes.el, starting to making it compatible with skeletons.
Pierre Courtieu
2005-03-01
*
debugging of holes.el.
Pierre Courtieu
2005-03-01
*
Debugging holes.el, starting trying to use skeletons.
Pierre Courtieu
2005-02-21
*
Cleaning file holes.el (tab-width, docstring etc).
Pierre Courtieu
2005-02-21
*
Updated the doc for new pg/coq. Made modifications advised by Stefan
Pierre Courtieu
2005-02-17
*
debugging the new holes-mode for fsf emacs. Keyboard shortcuts was
Pierre Courtieu
2005-02-16
*
Modified holes doc string to fit to new shortcut of holes-mode.
Pierre Courtieu
2005-02-15
*
Finished making holes.el a real minor-mode. There is a new file
Pierre Courtieu
2005-02-15
*
cleaning holes.el. All functions are prefixed with "holes-". Also
Pierre Courtieu
2005-02-14
*
Starting to clean holes.el following Stefan Monnier's advices. Making
Pierre Courtieu
2005-02-14
*
Documentation.
David Aspinall
2004-10-05
*
New files.
David Aspinall
2004-08-25
*
Renamed file
David Aspinall
2004-08-25
*
New files.
David Aspinall
2004-08-25
*
Renamed file
David Aspinall
2004-08-25
*
Revert to version distributed with GNU Emacs and XEmacs, but patched
David Aspinall
2004-08-25
*
Renamed file
David Aspinall
2004-08-25
*
New files.
David Aspinall
2004-08-25