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
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
