aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Collapse)AuthorAge
* Added af2 and twelf to elisp dirs.Gravatar David Aspinall2000-09-13
|
* Clean also deletes CVS temporaries (naughty, should be in devel.clean really)Gravatar David Aspinall2000-05-26
|
* Add target for editing perl scripts tooGravatar David Aspinall2000-05-25
|
* Be more generous if bash is not found.Gravatar David Aspinall2000-05-16
|
* Added scripts target to edit Isabelle scripts, patch from Mike Squire.Gravatar David Aspinall2000-05-16
|
* EMACS -> BATCHEMACS varGravatar David Aspinall2000-05-09
|
* make clean removes Emacs backups. Probably safe...Gravatar David Aspinall2000-05-05
|
* Add hol98 to elisp dirs.Gravatar David Aspinall2000-03-13
|
* Add *.xemacs targetsGravatar David Aspinall1999-11-17
|
* Add demoisa dir to makefiles.Gravatar David Aspinall1999-11-14
|
* Added plastic to elisp dirs and cleanup backup files.Gravatar David Aspinall1999-09-13
|
* enabled isar;Gravatar Makarius Wenzel1999-08-24
|
* clean does doc/clean too.Gravatar David Aspinall1998-11-25
|
* Changed <target>.devel into devel.<target> cos I find it easier to think ofGravatar David Aspinall1998-10-29
|
* CommentsGravatar David Aspinall1998-10-27
|
* Added generic target <develtarget>.develGravatar David Aspinall1998-10-27
|
* Improved ELC setting. Added 'make all' target to compile .elcs separately.Gravatar David Aspinall1998-10-27
|
* Added devel targets for convenienceGravatar David Aspinall1998-10-27
|
* Makefile for distribution. Devel now uses 'make -f Makefile.devel <args>'Gravatar David Aspinall1998-10-27