| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-09-22 | phox is back | Christophe Raffalli | |
| 2017-03-08 | Fix incorrect uses of defvar | Clément Pit--Claudel | |
| It didn't really matter that these variables were defined and set to nil during compilation, since we ran compilation in a clean Emacs in --batch mode; it does matter now, however, since package.el compiles PG in the user's currently running Emacs instance. | |||
| 2009-09-15 | Prevent many compile warnings | David Aspinall | |
| 2009-09-05 | Tidy whitespace | David Aspinall | |
| 2009-09-01 | hack with phox-prog-name and phox-prog-name-guess to have this phox folder ↵ | Christophe Raffalli | |
| working with PG 3.7 | |||
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall | |
| 2008-01-15 | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall | |
| 2003-02-15 | Fixes so that compile works | David Aspinall | |
| 2002-08-28 | Fix to calls on message | David Aspinall | |
| 2001-02-20 | *** empty log message *** | Christophe Raffalli | |
| 2001-01-18 | *** empty log message *** | Christophe Raffalli | |
| 2000-12-01 | af2 is now called PhoX | Christophe Raffalli | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |