aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/holes.el
Commit message (Expand)AuthorAge
* Fixed the short doc on holesGravatar Pierre Courtieu2004-04-05
* holes debugging.Gravatar Pierre Courtieu2004-03-17
* menu, holes and abbrev made better.Gravatar Pierre Courtieu2004-03-17
* bug fix in holes (call to proof-indent-line instead of funcallGravatar Pierre Courtieu2004-03-15
* holes-short-doc now is in view-mode.Gravatar Pierre Courtieu2004-03-10
* dealing with compile warning for new "hole" code (end hopefully).Gravatar Pierre Courtieu2004-03-10
* modification to avoid compile warnings (end)Gravatar Pierre Courtieu2004-03-10
* slight modif of holes short doc.Gravatar Pierre Courtieu2004-03-10
* x-get-selection is obsolete for xemacs, made a macroGravatar Pierre Courtieu2004-03-10
* bug correctionsGravatar Pierre Courtieu2004-03-10
* little bug correction of holesGravatar Pierre Courtieu2004-02-26
* little changes in the holes short docGravatar Pierre Courtieu2004-02-26
* little changes of menu/holes/abbrev in coq/pgGravatar Pierre Courtieu2004-02-26
* added submenus for command insertion for coq. menu uses abbrevGravatar Pierre Courtieu2004-02-19
* added some lines in holes short doc. And some abbrevs for coq.Gravatar Pierre Courtieu2004-02-19
* added some words to hole short docGravatar Pierre Courtieu2004-02-19
* last commit was incompleteGravatar Pierre Courtieu2004-02-19
* holes implementation, it uses span.el. mouse keybindings workGravatar Pierre Courtieu2004-02-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 07:46:16 +0000