aboutsummaryrefslogtreecommitdiff
path: root/generic/holes.el
AgeCommit message (Collapse)Author
2004-08-25Renamed fileDavid Aspinall
2004-04-05Fixed the short doc on holesPierre Courtieu
2004-03-17holes debugging.Pierre Courtieu
2004-03-17menu, holes and abbrev made better.Pierre Courtieu
2004-03-15bug fix in holes (call to proof-indent-line instead of funcallPierre Courtieu
indent-line-function).
2004-03-10holes-short-doc now is in view-mode.Pierre Courtieu
2004-03-10dealing with compile warning for new "hole" code (end hopefully).Pierre Courtieu
2004-03-10modification to avoid compile warnings (end)Pierre Courtieu
+ some menu modifications
2004-03-10slight modif of holes short doc.Pierre Courtieu
2004-03-10x-get-selection is obsolete for xemacs, made a macroPierre Courtieu
hole-get-selection defined as get-selection for xemacs, and x-get-selection for emacs.
2004-03-10bug correctionsPierre Courtieu
2004-02-26little bug correction of holesPierre Courtieu
2004-02-26little changes in the holes short docPierre Courtieu
2004-02-26little changes of menu/holes/abbrev in coq/pgPierre Courtieu
2004-02-19added submenus for command insertion for coq. menu uses abbrevPierre Courtieu
expansion to build holes.
2004-02-19added some lines in holes short doc. And some abbrevs for coq.Pierre Courtieu
2004-02-19added some words to hole short docPierre Courtieu
2004-02-19last commit was incompletePierre Courtieu
2004-02-18holes implementation, it uses span.el. mouse keybindings workPierre Courtieu
correctly for xemacs (any version) and emacs > 21.
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-10 08:42:38 +0000