aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/pg-dev.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* 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
* Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* Summary: Remove obsolete functionGravatar David Aspinall2015-03-05
* Summary: Don't quote lambda expressionsGravatar Stefan Monnier2012-08-30
* Use proof-add-to-load-path to extend load-path. This way,Gravatar Hendrik Tews2012-05-08
* DocstringGravatar David Aspinall2011-04-18
* Failed attempt to fix font lock customizations for elispGravatar David Aspinall2010-10-01
* Tune profilingGravatar David Aspinall2010-08-18
* Load elp firstGravatar David Aspinall2010-08-18
* hack to ELP to give better readability of profile results, in millisecondsGravatar David Aspinall2010-08-18
* TweaksGravatar David Aspinall2009-09-10
* byte-compile-and-load on write is a bit too enthusiasticGravatar David Aspinall2009-09-08
* Attempt byte compilation only for emacs lisp!Gravatar David Aspinall2009-09-07
* Add template auto-insert hookGravatar David Aspinall2009-09-07
* Add after save hook and convenient key binding to compile on saveGravatar David Aspinall2009-09-06
* More instrumentationGravatar David Aspinall2009-09-06
* Clean compile, remove useless autoload settings.Gravatar David Aspinall2009-09-05
* Turn on proof-general-debug. Missing requireGravatar David Aspinall2009-09-05
* Tidy whitespaceGravatar David Aspinall2009-09-05
* Make bug references clickableGravatar David Aspinall2009-09-05
* Profile more of the codeGravatar David Aspinall2009-09-04
* Profile settingsGravatar David Aspinall2009-09-04
* Remove some old X-Symbol references.Gravatar David Aspinall2009-09-01
* Add convenience function for profilingGravatar David Aspinall2009-08-28
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Fix RCS tagsGravatar David Aspinall2008-01-30
* Updated.Gravatar David Aspinall2008-01-30
* Updated.Gravatar David Aspinall2008-01-30
* unload-pg: Update featuresGravatar David Aspinall2008-01-28
* Remove font lock settings for nowGravatar David Aspinall2008-01-14
* New files.Gravatar David Aspinall2008-01-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 07:42:09 +0000