aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-easy-config.el
Commit message (Expand)AuthorAge
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* make sure extra modes availableGravatar David Aspinall2012-01-23
* TypoGravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Comments.Gravatar David Aspinall2004-04-15
* More elaborate error messages in proof-easy-config-check-setup.Gravatar David Aspinall2004-04-02
* Add proof-assistant-symbol to (spurious) error msgGravatar David Aspinall2004-03-30
* Update email and web addressesGravatar David Aspinall2004-02-08
* GPLGravatar David Aspinall2002-06-21
* Year changesGravatar David Aspinall2002-03-21
* Copyright date updatedGravatar David Aspinall2001-05-08
* fixed comment;Gravatar Makarius Wenzel2000-07-20
* Improve loadingGravatar David Aspinall2000-05-09
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
* Update copyright dates, comments.Gravatar David Aspinall2000-04-04
* Added mechanism for setting font-lock-keywords uniformly fromGravatar David Aspinall2000-03-10
* Second version of easy-config, without defvaralias use.Gravatar David Aspinall1999-11-16
* Working version of easy-config.Gravatar David Aspinall1999-11-16
* Preliminary, not for 3.0.Gravatar David Aspinall1999-11-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 13:23:08 +0000