aboutsummaryrefslogtreecommitdiff
path: root/lib/pg-dev.el
AgeCommit message (Expand)Author
2009-09-07Attempt byte compilation only for emacs lisp!David Aspinall
2009-09-07Add template auto-insert hookDavid Aspinall
2009-09-06Add after save hook and convenient key binding to compile on saveDavid Aspinall
2009-09-06More instrumentationDavid Aspinall
2009-09-05Clean compile, remove useless autoload settings.David Aspinall
2009-09-05Turn on proof-general-debug. Missing requireDavid Aspinall
2009-09-05Tidy whitespaceDavid Aspinall
2009-09-05Make bug references clickableDavid Aspinall
2009-09-04Profile more of the codeDavid Aspinall
2009-09-04Profile settingsDavid Aspinall
2009-09-01Remove some old X-Symbol references.David Aspinall
2009-08-28Add convenience function for profilingDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-30Updated.David Aspinall
2008-01-30Updated.David Aspinall
2008-01-28unload-pg: Update featuresDavid Aspinall
2008-01-14Remove font lock settings for nowDavid Aspinall
2008-01-13New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:12:35 +0000