aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2009-09-15Default target: dont edit scriptsDavid Aspinall
2009-09-15Be strict about compile warningsDavid Aspinall
2009-09-08Remove warnings in batch compile about functions possibly undefined atDavid Aspinall
2009-09-07Don't try to compile obsolete twelf Emacs code.David Aspinall
2009-03-10Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-31Remove duplicate default target. Add doc for EMACS setting egs.David Aspinall
2008-01-29Ignore errors compiling maths-menu.el (for XEmacs 21.4)David Aspinall
2008-01-15Updated.David Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-14Ignore errors in bytecompDavid Aspinall
2007-12-14Let broken compilation proceed for nowDavid Aspinall
2007-12-14Be stricter about byte compilation: compile separately and halt on errorsDavid Aspinall
2007-12-14Clarify error messages during compileDavid Aspinall
2007-12-12Updated.David Aspinall
2007-12-09Fix typo.David Aspinall
2007-12-09Comments.David Aspinall
2007-03-04Choose Emacs instead of XEmacsDavid Aspinall
2007-02-27Note on sudo and cp -p clashDavid Aspinall
2006-12-07removed obsolete references to 'isa';Makarius Wenzel
2006-09-22Fix typo.David Aspinall
2006-09-22Packaging fixes: put isar/interface in right place; install examples and doc ...David Aspinall
2006-08-28Cleanup makefilesDavid Aspinall
2006-08-28Cleanup makefilesDavid Aspinall
2006-05-26Detect EMACS setting.David Aspinall
2005-10-04Make install-bin also install Isabelle and Lego scriptsDavid Aspinall
2005-07-15Fix distclean to remove x-symbol elc filesDavid Aspinall
2004-08-25Add lib to elisp dirsDavid Aspinall
2004-06-04Edit PGHOMEDEFAULT rather than PGHOME.David Aspinall
2004-04-17Note about bad pgscripts editingDavid Aspinall
2004-03-02Fix info installDavid Aspinall
2004-03-02Oops. Fix DEST_PREFIX mistake in paths.David Aspinall
2004-03-01Updated.David Aspinall
2004-03-01Fix cleanpgscriptsDavid Aspinall
2004-03-01Comment.David Aspinall
2004-03-01Tweak desktop integration; add application-registry.David Aspinall
2004-02-29Tweaks for install, compiling x-symbol, etcDavid Aspinall
2004-02-28Split install-elisp into separate targets for RPMDavid Aspinall
2004-02-28Expand: add install targets, editing proofgeneral script, dealing with emacs ...David Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2003-03-05clean does distclean for x-symbolDavid Aspinall
2003-03-03Add mmm. Ignore byte compile errorsDavid Aspinall
2003-02-15Line for Emacs compileDavid Aspinall
2002-11-28Updated.David Aspinall
2002-08-29Simplify byte comp, notes of brokenness.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:42:50 +0000