aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/pg-dev.el
Commit message (Expand)AuthorAge
* 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-06-16 13:09:26 +0000