Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | clean: clean profile and test output | 2010-10-10 | |
| | |||
* | Add extra requires for compile to work on tty emacs (e.g. MacOS terminal emacs) | 2010-10-06 | |
| | |||
* | Fix mmm path | 2010-08-27 | |
| | |||
* | Remove obsolete provers | 2010-08-25 | |
| | |||
* | Fix compile errors, update tags | 2010-08-16 | |
| | |||
* | Prevent warning on cl functions (cl functions called at runtime | 2009-09-16 | |
| | | | | warning should not stop compilation). | ||
* | Default target: dont edit scripts | 2009-09-15 | |
| | |||
* | Be strict about compile warnings | 2009-09-15 | |
| | |||
* | Remove warnings in batch compile about functions possibly undefined at | 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. | 2009-09-07 | |
| | |||
* | Fix to use in place of make, see ↵ | 2009-03-10 | |
| | | | | http://proofgeneral.inf.ed.ac.uk/trac/ticket/262 | ||
* | Merge changes from Version4Branch. | 2008-07-24 | |
| | |||
* | Remove duplicate default target. Add doc for EMACS setting egs. | 2008-01-31 | |
| | |||
* | Ignore errors compiling maths-menu.el (for XEmacs 21.4) | 2008-01-29 | |
| | |||
* | Updated. | 2008-01-15 | |
| | |||
* | Many compatibility updates, bug fixes, rearrangements for compilation. | 2008-01-15 | |
| | |||
* | Ignore errors in bytecomp | 2007-12-14 | |
| | |||
* | Let broken compilation proceed for now | 2007-12-14 | |
| | |||
* | Be stricter about byte compilation: compile separately and halt on errors | 2007-12-14 | |
| | |||
* | Clarify error messages during compile | 2007-12-14 | |
| | |||
* | Updated. | 2007-12-12 | |
| | |||
* | Fix typo. | 2007-12-09 | |
| | |||
* | Comments. | 2007-12-09 | |
| | |||
* | Choose Emacs instead of XEmacs | 2007-03-04 | |
| | |||
* | Note on sudo and cp -p clash | 2007-02-27 | |
| | |||
* | removed obsolete references to 'isa'; | 2006-12-07 | |
| | |||
* | Fix typo. | 2006-09-22 | |
| | |||
* | Packaging fixes: put isar/interface in right place; install examples and doc ↵ | 2006-09-22 | |
| | | | | files from Makefile. | ||
* | Cleanup makefiles | 2006-08-28 | |
| | |||
* | Cleanup makefiles | 2006-08-28 | |
| | |||
* | Detect EMACS setting. | 2006-05-26 | |
| | |||
* | Make install-bin also install Isabelle and Lego scripts | 2005-10-04 | |
| | |||
* | Fix distclean to remove x-symbol elc files | 2005-07-15 | |
| | |||
* | Add lib to elisp dirs | 2004-08-25 | |
| | |||
* | Edit PGHOMEDEFAULT rather than PGHOME. | 2004-06-04 | |
| | |||
* | Note about bad pgscripts editing | 2004-04-17 | |
| | |||
* | Fix info install | 2004-03-02 | |
| | |||
* | Oops. Fix DEST_PREFIX mistake in paths. | 2004-03-02 | |
| | |||
* | Updated. | 2004-03-01 | |
| | |||
* | Fix cleanpgscripts | 2004-03-01 | |
| | |||
* | Comment. | 2004-03-01 | |
| | |||
* | Tweak desktop integration; add application-registry. | 2004-03-01 | |
| | |||
* | Tweaks for install, compiling x-symbol, etc | 2004-02-29 | |
| | |||
* | Split install-elisp into separate targets for RPM | 2004-02-28 | |
| | |||
* | Expand: add install targets, editing proofgeneral script, dealing with emacs ↵ | 2004-02-28 | |
| | | | | versions. | ||
* | Update email and web addresses | 2004-02-08 | |
| | |||
* | clean does distclean for x-symbol | 2003-03-05 | |
| | |||
* | Add mmm. Ignore byte compile errors | 2003-03-03 | |
| | |||
* | Line for Emacs compile | 2003-02-15 | |
| | |||
* | Updated. | 2002-11-28 | |
| |