| Age | Commit message (Expand) | Author |
|---|---|---|
| 1999-11-14 | Add demoisa dir to makefiles. | David Aspinall |
| 1999-09-13 | Added plastic to elisp dirs and cleanup backup files. | David Aspinall |
| 1999-08-24 | enabled isar; | Makarius Wenzel |
| 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 |