aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-maths-menu.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* Remove double footerGravatar David Aspinall2010-08-27
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Clean compileGravatar David Aspinall2009-09-10
* Clean whitespaceGravatar David Aspinall2009-09-05
* Fix for deferred loading of maths menu.Gravatar David Aspinall2008-07-24
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Use proof-auxmodes to load auxiliary modes properly when required.Gravatar David Aspinall2008-02-06
* Fix typo.Gravatar David Aspinall2008-01-17
* XEmacs comp error: obscure undefined define-key-after comes from proof-maths-...Gravatar David Aspinall2008-01-17
* Revert to more reliable true eval-when (compile)Gravatar David Aspinall2008-01-17
* Prevent loading early in interpreted code: simulate proper eval-when (compile)Gravatar David Aspinall2008-01-17
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Prevent attempt to use on XEmacsGravatar David Aspinall2007-12-14
* Complete maths menu additionGravatar David Aspinall2007-12-13
* New files.Gravatar David Aspinall2007-12-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 13:51:21 +0000