Commit message (Expand) | Author | Age | |
---|---|---|---|
* | little bug correction of holes | 2004-02-26 | |
* | little changes in the holes short doc | 2004-02-26 | |
* | little changes of menu/holes/abbrev in coq/pg | 2004-02-26 | |
* | added submenus for command insertion for coq. menu uses abbrev | 2004-02-19 | |
* | added some lines in holes short doc. And some abbrevs for coq. | 2004-02-19 | |
* | added some words to hole short doc | 2004-02-19 | |
* | last commit was incomplete | 2004-02-19 | |
* | holes implementation, it uses span.el. mouse keybindings work | 2004-02-18 |