index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
contrib
/
mmm
Commit message (
Collapse
)
Author
Age
*
Patch: font-lock-beginning-of-syntax-function -> syntax-begin-function to ↵
David Aspinall
2011-04-26
|
|
|
|
work with Emacs 23.3. May break work with earlier versions.
*
Renamed file contrib/mmm/version.texi, formerly mmm/version.texi
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm.texinfo, formerly mmm/mmm.texinfo
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-vars.el, formerly mmm/mmm-vars.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-utils.el, formerly mmm/mmm-utils.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-univ.el, formerly mmm/mmm-univ.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-sample.el, formerly mmm/mmm-sample.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-rpm.el, formerly mmm/mmm-rpm.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-region.el, formerly mmm/mmm-region.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-mode.el, formerly mmm/mmm-mode.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-mason.el, formerly mmm/mmm-mason.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-cweb.el, formerly mmm/mmm-cweb.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-compat.el, formerly mmm/mmm-compat.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-cmds.el, formerly mmm/mmm-cmds.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-class.el, formerly mmm/mmm-class.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/mmm-auto.el, formerly mmm/mmm-auto.el
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/TODO, formerly mmm/TODO
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/README.mmm-for-ProofGeneral, formerly ↵
David Aspinall
2010-08-27
|
|
|
|
mmm/README.mmm-for-ProofGeneral
*
Renamed file contrib/mmm/README, formerly mmm/README
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/NEWS, formerly mmm/NEWS
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/INSTALL, formerly mmm/INSTALL
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/FAQ, formerly mmm/FAQ
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/COPYING, formerly mmm/COPYING
David Aspinall
2010-08-27
|
*
Renamed file contrib/mmm/AUTHORS, formerly mmm/AUTHORS
David Aspinall
2010-08-27