aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
* Delete rogue elcsGravatar David Aspinall2001-09-04
* Name change af2 -> phoxGravatar David Aspinall2000-12-07
* Add acl2 and twelf to elisp dirsGravatar David Aspinall2000-09-29
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 12:24:44 +0000