index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
pg-dev.el
Commit message (
Expand
)
Author
Age
*
Summary: Don't quote lambda expressions
Stefan Monnier
2012-08-30
*
Use proof-add-to-load-path to extend load-path. This way,
Hendrik Tews
2012-05-08
*
Docstring
David Aspinall
2011-04-18
*
Failed attempt to fix font lock customizations for elisp
David Aspinall
2010-10-01
*
Tune profiling
David Aspinall
2010-08-18
*
Load elp first
David Aspinall
2010-08-18
*
hack to ELP to give better readability of profile results, in milliseconds
David Aspinall
2010-08-18
*
Tweaks
David Aspinall
2009-09-10
*
byte-compile-and-load on write is a bit too enthusiastic
David Aspinall
2009-09-08
*
Attempt byte compilation only for emacs lisp!
David Aspinall
2009-09-07
*
Add template auto-insert hook
David Aspinall
2009-09-07
*
Add after save hook and convenient key binding to compile on save
David Aspinall
2009-09-06
*
More instrumentation
David Aspinall
2009-09-06
*
Clean compile, remove useless autoload settings.
David Aspinall
2009-09-05
*
Turn on proof-general-debug. Missing require
David Aspinall
2009-09-05
*
Tidy whitespace
David Aspinall
2009-09-05
*
Make bug references clickable
David Aspinall
2009-09-05
*
Profile more of the code
David Aspinall
2009-09-04
*
Profile settings
David Aspinall
2009-09-04
*
Remove some old X-Symbol references.
David Aspinall
2009-09-01
*
Add convenience function for profiling
David Aspinall
2009-08-28
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Fix RCS tags
David Aspinall
2008-01-30
*
Updated.
David Aspinall
2008-01-30
*
Updated.
David Aspinall
2008-01-30
*
unload-pg: Update features
David Aspinall
2008-01-28
*
Remove font lock settings for now
David Aspinall
2008-01-14
*
New files.
David Aspinall
2008-01-13