index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
maths-menu.el
Commit message (
Expand
)
Author
Age
*
Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.
Stefan Monnier
2018-12-15
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
Summary: Don't quote lambda expressions
Stefan Monnier
2012-08-30
*
Tidy whitespace
David Aspinall
2009-09-05
*
Define maths-menu-insert-XX functions for convenience of user-defined keybind...
David Aspinall
2009-07-30
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Fix RCS tags
David Aspinall
2008-01-30
*
PG tagline
David Aspinall
2008-01-30
*
Revert previous change, does not help. Solve #184 by ignoring error in Makef...
David Aspinall
2008-01-29
*
Change characters in maths-menu-menu to strings, hoping to fix compile
David Aspinall
2008-01-29
*
Appearance is OK with NextStep Emacs.app.
David Aspinall
2008-01-28
*
Maths menu works OK in Carbon Emacs
David Aspinall
2008-01-28
*
Maths menu convenience
David Aspinall
2007-12-12