| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add *.xemacs targets |  David Aspinall | 1999-11-17 |
| * | Add demoisa dir to makefiles. | David Aspinall | 1999-11-14 |
| * | Added plastic to elisp dirs and cleanup backup files. | David Aspinall | 1999-09-13 |
| * | enabled isar; |  Makarius Wenzel | 1999-08-24 |
| * | clean does doc/clean too. | David Aspinall | 1998-11-25 |
| * | Changed <target>.devel into devel.<target> cos I find it easier to think of | David Aspinall | 1998-10-29 |
| * | 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 | 1998-10-27 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |