aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-maths-menu.el
AgeCommit message (Expand)Author
2010-08-27Remove double footerDavid Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2008-07-24Fix for deferred loading of maths menu.David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-02-06Use proof-auxmodes to load auxiliary modes properly when required.David Aspinall
2008-01-17Fix typo.David Aspinall
2008-01-17XEmacs comp error: obscure undefined define-key-after comes from proof-maths-...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-14Prevent attempt to use on XEmacsDavid Aspinall
2007-12-13Complete maths menu additionDavid Aspinall
2007-12-12New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:22:18 +0000