aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2001-09-04Delete rogue elcsDavid Aspinall
2000-12-07Name change af2 -> phoxDavid Aspinall
2000-09-29Add acl2 and twelf to elisp dirsDavid Aspinall
2000-09-13Added af2 and twelf to elisp dirs.David Aspinall
2000-05-26Clean also deletes CVS temporaries (naughty, should be in devel.clean really)David Aspinall
2000-05-25Add target for editing perl scripts tooDavid Aspinall
2000-05-16Be more generous if bash is not found.David Aspinall
2000-05-16Added scripts target to edit Isabelle scripts, patch from Mike Squire.David Aspinall
2000-05-09EMACS -> BATCHEMACS varDavid Aspinall
2000-05-05make clean removes Emacs backups. Probably safe...David Aspinall
2000-03-13Add hol98 to elisp dirs.David Aspinall
1999-11-17Add *.xemacs targetsDavid Aspinall
1999-11-14Add demoisa dir to makefiles.David Aspinall
1999-09-13Added plastic to elisp dirs and cleanup backup files.David Aspinall
1999-08-24enabled isar;Makarius Wenzel
1998-11-25clean does doc/clean too.David Aspinall
1998-10-29Changed <target>.devel into devel.<target> cos I find it easier to think ofDavid Aspinall
1998-10-27CommentsDavid Aspinall
1998-10-27Added generic target <develtarget>.develDavid Aspinall
1998-10-27Improved ELC setting. Added 'make all' target to compile .elcs separately.David Aspinall
1998-10-27Added devel targets for convenienceDavid Aspinall
1998-10-27Makefile for distribution. Devel now uses 'make -f Makefile.devel <args>'David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:54:50 +0000