| Age | Commit message (Expand) | 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 |