| Age | Commit message (Expand) | Author |
|---|
| 2009-09-07 | Don't try to compile obsolete twelf Emacs code. | David Aspinall |
| 2009-03-10 | Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke... | David Aspinall |
| 2008-07-24 | Merge changes from Version4Branch. | David Aspinall |
| 2008-01-31 | Remove duplicate default target. Add doc for EMACS setting egs. | David Aspinall |
| 2008-01-29 | Ignore errors compiling maths-menu.el (for XEmacs 21.4) | David Aspinall |
| 2008-01-15 | Updated. | David Aspinall |
| 2008-01-15 | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall |
| 2007-12-14 | Ignore errors in bytecomp | David Aspinall |
| 2007-12-14 | Let broken compilation proceed for now | David Aspinall |
| 2007-12-14 | Be stricter about byte compilation: compile separately and halt on errors | David Aspinall |
| 2007-12-14 | Clarify error messages during compile | David Aspinall |
| 2007-12-12 | Updated. | David Aspinall |
| 2007-12-09 | Fix typo. | David Aspinall |
| 2007-12-09 | Comments. | David Aspinall |
| 2007-03-04 | Choose Emacs instead of XEmacs | David Aspinall |
| 2007-02-27 | Note on sudo and cp -p clash | David Aspinall |
| 2006-12-07 | removed obsolete references to 'isa'; | Makarius Wenzel |
| 2006-09-22 | Fix typo. | David Aspinall |
| 2006-09-22 | Packaging fixes: put isar/interface in right place; install examples and doc ... | David Aspinall |
| 2006-08-28 | Cleanup makefiles | David Aspinall |
| 2006-08-28 | Cleanup makefiles | David Aspinall |
| 2006-05-26 | Detect EMACS setting. | David Aspinall |
| 2005-10-04 | Make install-bin also install Isabelle and Lego scripts | David Aspinall |
| 2005-07-15 | Fix distclean to remove x-symbol elc files | David Aspinall |
| 2004-08-25 | Add lib to elisp dirs | David Aspinall |
| 2004-06-04 | Edit PGHOMEDEFAULT rather than PGHOME. | David Aspinall |
| 2004-04-17 | Note about bad pgscripts editing | David Aspinall |
| 2004-03-02 | Fix info install | David Aspinall |
| 2004-03-02 | Oops. Fix DEST_PREFIX mistake in paths. | David Aspinall |
| 2004-03-01 | Updated. | David Aspinall |
| 2004-03-01 | Fix cleanpgscripts | David Aspinall |
| 2004-03-01 | Comment. | David Aspinall |
| 2004-03-01 | Tweak desktop integration; add application-registry. | David Aspinall |
| 2004-02-29 | Tweaks for install, compiling x-symbol, etc | David Aspinall |
| 2004-02-28 | Split install-elisp into separate targets for RPM | David Aspinall |
| 2004-02-28 | Expand: add install targets, editing proofgeneral script, dealing with emacs ... | David Aspinall |
| 2004-02-08 | Update email and web addresses | David Aspinall |
| 2003-03-05 | clean does distclean for x-symbol | David Aspinall |
| 2003-03-03 | Add mmm. Ignore byte compile errors | David Aspinall |
| 2003-02-15 | Line for Emacs compile | David Aspinall |
| 2002-11-28 | Updated. | David Aspinall |
| 2002-08-29 | Simplify byte comp, notes of brokenness. | David Aspinall |
| 2001-09-04 | Delete rogue elcs | David Aspinall |
| 2000-12-07 | Name change af2 -> phox | David Aspinall |
| 2000-09-29 | Add acl2 and twelf to elisp dirs | David Aspinall |
| 2000-09-13 | Added af2 and twelf to elisp dirs. | David Aspinall |
| 2000-05-26 | Clean also deletes CVS temporaries (naughty, should be in devel.clean really) | David Aspinall |
| 2000-05-25 | Add target for editing perl scripts too | David Aspinall |
| 2000-05-16 | Be more generous if bash is not found. | David Aspinall |
| 2000-05-16 | Added scripts target to edit Isabelle scripts, patch from Mike Squire. | David Aspinall |
