aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-abbrev.el
Commit message (Expand)AuthorAge
* Tidy menus, add new commandsGravatar David Aspinall2004-04-22
* Deleted the "3 buffers view menu entry" for coq, this is now aGravatar Pierre Courtieu2004-04-21
* added some commands in coq menuGravatar Pierre Courtieu2004-04-06
* coq < 8.0 menu and abbrevs.Gravatar Pierre Courtieu2004-03-19
* adjusting to new syntax.Gravatar Pierre Courtieu2004-03-18
* menu, holes and abbrev made better.Gravatar Pierre Courtieu2004-03-17
* Added 'Notation' stuff to coq menu command insert.Gravatar Pierre Courtieu2004-03-16
* added the abbreviation of Hint Rewrite.Gravatar Pierre Courtieu2004-03-16
* indentation for coq completely re-coded, because the generic mechanismGravatar Pierre Courtieu2004-03-08
* little changes of menu/holes/abbrev in coq/pgGravatar Pierre Courtieu2004-02-26
* added menu entries to tactic menusGravatar Pierre Courtieu2004-02-19
* 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
* Coq Abbrevs now make holes. I will add a menu with basic command.Gravatar Pierre Courtieu2004-02-18
* Added some interface stuff:Gravatar Pierre Courtieu2004-02-11
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 06:08:08 +0000