| Commit message (Expand) | Author | Age |
* | Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke... | David Aspinall | 2009-03-10 |
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
* | Remove duplicate default target. Add doc for EMACS setting egs. | David Aspinall | 2008-01-31 |
* | Ignore errors compiling maths-menu.el (for XEmacs 21.4) | David Aspinall | 2008-01-29 |
* | Updated. | David Aspinall | 2008-01-15 |
* | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall | 2008-01-15 |
* | 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-14 |
* | Updated. | David Aspinall | 2007-12-12 |
* | Fix typo. | David Aspinall | 2007-12-09 |
* | Comments. | David Aspinall | 2007-12-09 |
* | Choose Emacs instead of XEmacs | David Aspinall | 2007-03-04 |
* | Note on sudo and cp -p clash | David Aspinall | 2007-02-27 |
* | removed obsolete references to 'isa'; | Makarius Wenzel | 2006-12-07 |
* | Fix typo. | David Aspinall | 2006-09-22 |
* | Packaging fixes: put isar/interface in right place; install examples and doc ... | David Aspinall | 2006-09-22 |
* | Cleanup makefiles | David Aspinall | 2006-08-28 |
* | Cleanup makefiles | David Aspinall | 2006-08-28 |
* | Detect EMACS setting. | David Aspinall | 2006-05-26 |
* | Make install-bin also install Isabelle and Lego scripts | David Aspinall | 2005-10-04 |
* | Fix distclean to remove x-symbol elc files | David Aspinall | 2005-07-15 |
* | Add lib to elisp dirs | David Aspinall | 2004-08-25 |
* | Edit PGHOMEDEFAULT rather than PGHOME. | David Aspinall | 2004-06-04 |
* | Note about bad pgscripts editing | David Aspinall | 2004-04-17 |
* | Fix info install | David Aspinall | 2004-03-02 |
* | Oops. Fix DEST_PREFIX mistake in paths. | David Aspinall | 2004-03-02 |
* | 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-03-01 |
* | Tweaks for install, compiling x-symbol, etc | David Aspinall | 2004-02-29 |
* | 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-28 |
* | Update email and web addresses | David Aspinall | 2004-02-08 |
* | clean does distclean for x-symbol | David Aspinall | 2003-03-05 |
* | Add mmm. Ignore byte compile errors | David Aspinall | 2003-03-03 |
* | Line for Emacs compile | David Aspinall | 2003-02-15 |
* | Updated. | David Aspinall | 2002-11-28 |
* | Simplify byte comp, notes of brokenness. | David Aspinall | 2002-08-29 |
* | Delete rogue elcs | David Aspinall | 2001-09-04 |
* | Name change af2 -> phox | David Aspinall | 2000-12-07 |
* | Add acl2 and twelf to elisp dirs | David Aspinall | 2000-09-29 |
* | Added af2 and twelf to elisp dirs. | David Aspinall | 2000-09-13 |
* | Clean also deletes CVS temporaries (naughty, should be in devel.clean really) | David Aspinall | 2000-05-26 |
* | Add target for editing perl scripts too | David Aspinall | 2000-05-25 |
* | 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 | 2000-05-16 |
* | EMACS -> BATCHEMACS var | David Aspinall | 2000-05-09 |