index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
mmm
Commit message (
Expand
)
Author
Age
*
Renamed from mmm/version.texi to contrib/mmm/version.texi
David Aspinall
2010-08-27
*
Renamed from mmm/mmm.texinfo to contrib/mmm/mmm.texinfo
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-vars.el to contrib/mmm/mmm-vars.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-utils.el to contrib/mmm/mmm-utils.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-univ.el to contrib/mmm/mmm-univ.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-sample.el to contrib/mmm/mmm-sample.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-rpm.el to contrib/mmm/mmm-rpm.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-region.el to contrib/mmm/mmm-region.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-mode.el to contrib/mmm/mmm-mode.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-mason.el to contrib/mmm/mmm-mason.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-cweb.el to contrib/mmm/mmm-cweb.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-compat.el to contrib/mmm/mmm-compat.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-cmds.el to contrib/mmm/mmm-cmds.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-class.el to contrib/mmm/mmm-class.el
David Aspinall
2010-08-27
*
Renamed from mmm/mmm-auto.el to contrib/mmm/mmm-auto.el
David Aspinall
2010-08-27
*
Renamed from mmm/TODO to contrib/mmm/TODO
David Aspinall
2010-08-27
*
Renamed from mmm/README.mmm-for-ProofGeneral to contrib/mmm/README.mmm-for-Pr...
David Aspinall
2010-08-27
*
Renamed from mmm/README to contrib/mmm/README
David Aspinall
2010-08-27
*
Renamed from mmm/NEWS to contrib/mmm/NEWS
David Aspinall
2010-08-27
*
Renamed from mmm/INSTALL to contrib/mmm/INSTALL
David Aspinall
2010-08-27
*
Renamed from mmm/FAQ to contrib/mmm/FAQ
David Aspinall
2010-08-27
*
Renamed from mmm/COPYING to contrib/mmm/COPYING
David Aspinall
2010-08-27
*
Renamed from mmm/AUTHORS to contrib/mmm/AUTHORS
David Aspinall
2010-08-27
*
save-excursion -> with-temp-buffer
David Aspinall
2010-07-08
*
Replace uses of save-excursion with with-current-buffer. This
David Aspinall
2010-07-01
*
Prevent compiler warnings
David Aspinall
2009-09-06
*
Fix compile warnings
David Aspinall
2009-09-06
*
Remove noweb file, seems buggy.
David Aspinall
2009-09-06
*
Tidy whitespace
David Aspinall
2009-09-05
*
require 'cl -> eval-when-compile
David Aspinall
2009-09-04
*
Backquote syntax updated to defeat warnings, so not Emacs <19.29 compatible
David Aspinall
2008-01-28
*
mmm-insert-by-key: add an indicator to holes.el to prevent it adding holes
David Aspinall
2007-12-13
*
Emacs compatibility/API updates: string-to-int -> string-to-number
David Aspinall
2007-12-10
*
Update to 0.4.8 from sourceforge.
David Aspinall
2006-09-22
*
Renamed file
David Aspinall
2003-02-22
*
Updated.
David Aspinall
2003-02-22
*
Renamed file
David Aspinall
2003-02-19
*
New files.
David Aspinall
2003-02-17
*
New files.
David Aspinall
2003-02-17