index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-mmm.el
Commit message (
Expand
)
Author
Age
*
Change (eval-when (compile) ...) to (eval-when-compile ...)
Clément Pit--Claudel
2017-05-05
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
Clean compile
David Aspinall
2009-09-10
*
Nuke spurious warning
David Aspinall
2009-09-07
*
Clean whitespace
David Aspinall
2009-09-05
*
Use proof-auxmodes to load auxiliary modes properly when required.
David Aspinall
2008-02-06
*
Revert to more reliable true eval-when (compile)
David Aspinall
2008-01-17
*
Prevent loading early in interpreted code: simulate proper eval-when (compile)
David Aspinall
2008-01-17
*
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Nuke some compile warnings
David Aspinall
2007-12-09
*
Use bundled version off mmm first
David Aspinall
2003-02-19
*
Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or
David Aspinall
2003-02-19
*
Small bugfix.
David Aspinall
2003-02-18
*
Updated.
David Aspinall
2003-02-18
*
New files.
David Aspinall
2003-02-18