aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-mmm.el
AgeCommit message (Expand)Author
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2010-08-08Checkdoc cleanupsDavid Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-07Nuke spurious warningDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2008-02-06Use proof-auxmodes to load auxiliary modes properly when required.David Aspinall
2008-01-17Revert to more reliable true eval-when (compile)David Aspinall
2008-01-17Prevent loading early in interpreted code: simulate proper eval-when (compile)David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-09Nuke some compile warningsDavid Aspinall
2003-02-19Use bundled version off mmm firstDavid Aspinall
2003-02-19Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orDavid Aspinall
2003-02-18Small bugfix.David Aspinall
2003-02-18Updated.David Aspinall
2003-02-18New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:25:10 +0000