Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Summary: Revert change to default EMACS | 2015-03-13 | |
| | |||
* | Summary: Build on Mac | 2015-03-05 | |
| | |||
* | Document Make check | 2013-07-05 | |
| | |||
* | make warnings non-fatal for normal compilation to fix #458, use | 2013-05-22 | |
| | | | | 'make check' to get errors | ||
* | fix overriding distclean target | 2013-01-15 | |
| | |||
* | removal of backup files (*~) moved to make distclean | 2013-01-15 | |
| | |||
* | support DESTDIR in make install | 2012-03-05 | |
| | |||
* | Extend list of provers we compile for | 2012-02-07 | |
| | |||
* | Note about make -j for parallel compilation | 2012-01-10 | |
| | |||
* | 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 | |
| |