Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | clean: clean profile and test output | David Aspinall | 2010-10-10 |
| | |||
* | Add extra requires for compile to work on tty emacs (e.g. MacOS terminal emacs) | David Aspinall | 2010-10-06 |
| | |||
* | Fix mmm path | David Aspinall | 2010-08-27 |
| | |||
* | Remove obsolete provers | David Aspinall | 2010-08-25 |
| | |||
* | Fix compile errors, update tags | David Aspinall | 2010-08-16 |
| | |||
* | Prevent warning on cl functions (cl functions called at runtime | David Aspinall | 2009-09-16 |
| | | | | warning should not stop compilation). | ||
* | Default target: dont edit scripts | David Aspinall | 2009-09-15 |
| | |||
* | Be strict about compile warnings | David Aspinall | 2009-09-15 |
| | |||
* | Remove warnings in batch compile about functions possibly undefined at | David Aspinall | 2009-09-08 |
| | | | | | runtime. Most of these are spurious (come from autoloads; byte comp seems to give these higher priority than declarations in same file). | ||
* | Don't try to compile obsolete twelf Emacs code. | David Aspinall | 2009-09-07 |
| | |||
* | Fix to use in place of make, see ↵ | David Aspinall | 2009-03-10 |
| | | | | http://proofgeneral.inf.ed.ac.uk/trac/ticket/262 | ||
* | 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 |
| | | | | files from Makefile. | ||
* | 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 |
| | | | | versions. | ||
* | 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 |
| |