| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Checkdoc cleanups |  David Aspinall | 2010-08-08 |
| * | Clean compile | David Aspinall | 2009-09-10 |
| * | Nuke spurious warning | David Aspinall | 2009-09-07 |
| * | Clean whitespace | David Aspinall | 2009-09-05 |
| * | Use proof-auxmodes to load auxiliary modes properly when required. | David Aspinall | 2008-02-06 |
| * | Revert to more reliable true eval-when (compile) | David Aspinall | 2008-01-17 |
| * | Prevent loading early in interpreted code: simulate proper eval-when (compile) | David Aspinall | 2008-01-17 |
| * | Reduce compiler warnings. Minor fixes. | David Aspinall | 2008-01-16 |
| * | Many rearrangements for compatibility, efficient/correct compilation, namespa... | David Aspinall | 2008-01-15 |
| * | Nuke some compile warnings | David Aspinall | 2007-12-09 |
| * | Use bundled version off mmm first | David Aspinall | 2003-02-19 |
| * | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | David Aspinall | 2003-02-19 |
| * | Small bugfix. | David Aspinall | 2003-02-18 |
| * | Updated. | David Aspinall | 2003-02-18 |
| * | New files. | David Aspinall | 2003-02-18 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |