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