| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |