aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
...
* Edit PGHOMEDEFAULT rather than PGHOME.Gravatar David Aspinall2004-06-04
* Note about bad pgscripts editingGravatar David Aspinall2004-04-17
* Fix info installGravatar David Aspinall2004-03-02
* Oops. Fix DEST_PREFIX mistake in paths.Gravatar David Aspinall2004-03-02
* Updated.Gravatar David Aspinall2004-03-01
* Fix cleanpgscriptsGravatar David Aspinall2004-03-01
* Comment.Gravatar David Aspinall2004-03-01
* Tweak desktop integration; add application-registry.Gravatar David Aspinall2004-03-01
* Tweaks for install, compiling x-symbol, etcGravatar David Aspinall2004-02-29
* Split install-elisp into separate targets for RPMGravatar David Aspinall2004-02-28
* Expand: add install targets, editing proofgeneral script, dealing with emacs ...Gravatar David Aspinall2004-02-28
* Update email and web addressesGravatar David Aspinall2004-02-08
* clean does distclean for x-symbolGravatar David Aspinall2003-03-05
* Add mmm. Ignore byte compile errorsGravatar David Aspinall2003-03-03
* Line for Emacs compileGravatar David Aspinall2003-02-15
* Updated.Gravatar David Aspinall2002-11-28
* Simplify byte comp, notes of brokenness.Gravatar David Aspinall2002-08-29
* 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-05-02 02:08:43 +0000