Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove link in tar file. | David Aspinall | 2013-05-31 |
* | Run make check before release | David Aspinall | 2013-05-23 |
* | Add ProofGeneral.jpg to distribution | David Aspinall | 2013-05-22 |
* | Updates for PG 4.3 | David Aspinall | 2012-10-19 |
* | Add setting for rcs2log path | David Aspinall | 2012-08-14 |
* | Update for 4.2 cycle | David Aspinall | 2011-10-13 |
* | Remove some non-existent ignored files | David Aspinall | 2011-10-03 |
* | Tweak to Emacs package building | David Aspinall | 2011-09-16 |
* | Fix Make pkg in case package name same as release name. | David Aspinall | 2011-04-28 |
* | Add rcs2log options suggested by Hendrik | David Aspinall | 2011-04-28 |
* | set a non-temporary email address | Hendrik Tews | 2011-01-14 |
* | Add new CVS users to DEVELOPERS list. | David Aspinall | 2011-01-14 |
* | Cleanup | David Aspinall | 2010-10-11 |
* | Update to 4.1pre | David Aspinall | 2010-10-10 |
* | Comments | David Aspinall | 2010-10-04 |
* | 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 |