Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Target to run an instance | David Aspinall | 2010-08-27 |
* | Target to build an Emacs package | David Aspinall | 2010-08-25 |
* | Remove defunct RPM link | David Aspinall | 2010-08-23 |
* | Separate profiling from testing | David Aspinall | 2010-08-03 |
* | Show test log in case of failure | David Aspinall | 2010-08-03 |
* | Resurrect autotest framework | David Aspinall | 2010-08-03 |
* | superdir | David Aspinall | 2009-09-21 |
* | Fix doc copy/clean. | David Aspinall | 2009-09-21 |
* | Only distribute info file, not pdf | David Aspinall | 2009-09-21 |
* | Add doc files and .elcs to distributed tarball | David Aspinall | 2009-09-21 |
* | tar -> $(TAR) | David Aspinall | 2009-09-21 |
* | distcompile: don't ignore errors during compile | David Aspinall | 2009-09-15 |
* | Remove devel. from testall target | David Aspinall | 2009-09-08 |
* | Add tidy target (cleans whitespace) | David Aspinall | 2009-09-05 |
* | Hide echo | David Aspinall | 2009-09-04 |
* | Clean up IGNOREDFILES a bit | David Aspinall | 2009-08-31 |
* | Remove obsolete file mention | David Aspinall | 2009-08-20 |
* | Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke... | David Aspinall | 2009-03-10 |
* | merge develdownload.html with devel.html | David Aspinall | 2008-12-05 |
* | Updated. | David Aspinall | 2008-12-05 |
* | Updates for 4.0 | David Aspinall | 2008-08-03 |
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
* | Move to 3.7.1 pre-rel | David Aspinall | 2008-02-03 |
* | Updated. | David Aspinall | 2008-01-31 |
* | Remove more zip | David Aspinall | 2008-01-30 |
* | Remove zip from distribution, only use tgz | David Aspinall | 2008-01-30 |
* | Missing quote | David Aspinall | 2008-01-25 |
* | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall | 2008-01-15 |
* | Removed file | David Aspinall | 2007-12-14 |
* | Remove overriding BYTECOMP definition | David Aspinall | 2007-12-14 |
* | Account for removed files | David Aspinall | 2007-12-13 |
* | Add Gerwin | David Aspinall | 2007-12-13 |
* | Add makarius=markus | David Aspinall | 2007-12-13 |
* | Add assia | David Aspinall | 2007-12-13 |
* | More dirs for TAGS | David Aspinall | 2007-12-09 |
* | fixed spelling; | Makarius Wenzel | 2007-11-18 |
* | Fix mail address/name for Makarius | David Aspinall | 2007-11-15 |
* | Simplify version editing to use DOWNLOADHTMLS and use %{version} in spec | David Aspinall | 2007-10-25 |
* | Choose Emacs instead of XEmacs | David Aspinall | 2007-03-04 |
* | Switch to 3.7pre | David Aspinall | 2007-03-03 |
* | Correct mail domain | David Aspinall | 2007-01-20 |
* | Remove isa dir | David Aspinall | 2006-12-20 |
* | 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 |
* | Syntax strictitude | David Aspinall | 2006-08-23 |
* | Select EMACS based on xemacs if available, otherwise emacs | David Aspinall | 2005-09-21 |
* | fix tar arg order | David Aspinall | 2005-07-15 |
* | Add missing lib/ | David Aspinall | 2005-05-17 |
* | Comments. | David Aspinall | 2005-02-13 |