| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1998-11-25 | clean does doc/clean too. | David Aspinall | |
| 1998-10-29 | Changed <target>.devel into devel.<target> cos I find it easier to think of | David Aspinall | |
| 1998-10-27 | Comments | David Aspinall | |
| 1998-10-27 | Added generic target <develtarget>.devel | David Aspinall | |
| 1998-10-27 | Improved ELC setting. Added 'make all' target to compile .elcs separately. | David Aspinall | |
| 1998-10-27 | Added devel targets for convenience | David Aspinall | |
| 1998-10-27 | Makefile for distribution. Devel now uses 'make -f Makefile.devel <args>' | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |