index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
coq
/
coq-abbrev.el
Age
Commit message (
Expand
)
Author
2005-11-07
added match...with automatic building from atype name.
Pierre Courtieu
2005-04-21
added some entris in coq menus.
Pierre Courtieu
2005-03-08
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-02-17
Updated the doc for new pg/coq. Made modifications advised by Stefan
Pierre Courtieu
2005-02-14
cleaning holes.el. All functions are prefixed with "holes-". Also
Pierre Courtieu
2004-05-06
bug fix with terminal regexp (pb with :"unfold foo in |- *.")
Pierre Courtieu
2004-04-22
Tidy menus, add new commands
David Aspinall
2004-04-21
Deleted the "3 buffers view menu entry" for coq, this is now a
Pierre Courtieu
2004-04-06
added some commands in coq menu
Pierre Courtieu
2004-03-19
coq < 8.0 menu and abbrevs.
Pierre Courtieu
2004-03-18
adjusting to new syntax.
Pierre Courtieu
2004-03-17
menu, holes and abbrev made better.
Pierre Courtieu
2004-03-16
Added 'Notation' stuff to coq menu command insert.
Pierre Courtieu
2004-03-16
added the abbreviation of Hint Rewrite.
Pierre Courtieu
2004-03-08
indentation for coq completely re-coded, because the generic mechanism
Pierre Courtieu
2004-02-26
little changes of menu/holes/abbrev in coq/pg
Pierre Courtieu
2004-02-19
added menu entries to tactic menus
Pierre Courtieu
2004-02-19
added submenus for command insertion for coq. menu uses abbrev
Pierre Courtieu
2004-02-19
added some lines in holes short doc. And some abbrevs for coq.
Pierre Courtieu
2004-02-18
Coq Abbrevs now make holes. I will add a menu with basic command.
Pierre Courtieu
2004-02-11
Added some interface stuff:
Pierre Courtieu
