Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Bump version from 4.4.1~pre to 4.5-git | 2018-08-22 | |
| | | | | This commit ensures the version number is (version-to-list)-compliant. | ||
* | Remove bin/proofgeneral and Update Makefiles accordingly. | 2017-04-25 | |
| | | | | Closes ProofGeneral/PG#177 | ||
* | A first pass at converting from CVS to git. (#127) | 2016-12-31 | |
| | | | Do some cleanup in the Makefile.devel file. | ||
* | Bump version number for next release cycle. | 2016-09-19 | |
| | |||
* | More version number fixes | 2016-02-13 | |
| | |||
* | Summary: remove non-BSD cp arg | 2015-03-13 | |
| | |||
* | Remove link in tar file. | 2013-05-31 | |
| | |||
* | Run make check before release | 2013-05-23 | |
| | |||
* | Add ProofGeneral.jpg to distribution | 2013-05-22 | |
| | |||
* | Updates for PG 4.3 | 2012-10-19 | |
| | |||
* | Add setting for rcs2log path | 2012-08-14 | |
| | |||
* | Update for 4.2 cycle | 2011-10-13 | |
| | |||
* | Remove some non-existent ignored files | 2011-10-03 | |
| | |||
* | Tweak to Emacs package building | 2011-09-16 | |
| | |||
* | Fix Make pkg in case package name same as release name. | 2011-04-28 | |
| | |||
* | Add rcs2log options suggested by Hendrik | 2011-04-28 | |
| | |||
* | set a non-temporary email address | 2011-01-14 | |
| | |||
* | Add new CVS users to DEVELOPERS list. | 2011-01-14 | |
| | |||
* | Cleanup | 2010-10-11 | |
| | |||
* | Update to 4.1pre | 2010-10-10 | |
| | |||
* | Comments | 2010-10-04 | |
| | |||
* | Target to run an instance | 2010-08-27 | |
| | |||
* | Target to build an Emacs package | 2010-08-25 | |
| | |||
* | Remove defunct RPM link | 2010-08-23 | |
| | |||
* | Separate profiling from testing | 2010-08-03 | |
| | |||
* | Show test log in case of failure | 2010-08-03 | |
| | |||
* | Resurrect autotest framework | 2010-08-03 | |
| | |||
* | superdir | 2009-09-21 | |
| | |||
* | Fix doc copy/clean. | 2009-09-21 | |
| | |||
* | Only distribute info file, not pdf | 2009-09-21 | |
| | |||
* | Add doc files and .elcs to distributed tarball | 2009-09-21 | |
| | |||
* | tar -> $(TAR) | 2009-09-21 | |
| | |||
* | distcompile: don't ignore errors during compile | 2009-09-15 | |
| | |||
* | Remove devel. from testall target | 2009-09-08 | |
| | |||
* | Add tidy target (cleans whitespace) | 2009-09-05 | |
| | |||
* | Hide echo | 2009-09-04 | |
| | |||
* | Clean up IGNOREDFILES a bit | 2009-08-31 | |
| | |||
* | Remove obsolete file mention | 2009-08-20 | |
| | |||
* | Fix to use in place of make, see ↵ | 2009-03-10 | |
| | | | | http://proofgeneral.inf.ed.ac.uk/trac/ticket/262 | ||
* | merge develdownload.html with devel.html | 2008-12-05 | |
| | |||
* | Updated. | 2008-12-05 | |
| | |||
* | Updates for 4.0 | 2008-08-03 | |
| | |||
* | Merge changes from Version4Branch. | 2008-07-24 | |
| | |||
* | Move to 3.7.1 pre-rel | 2008-02-03 | |
| | |||
* | Updated. | 2008-01-31 | |
| | |||
* | Remove more zip | 2008-01-30 | |
| | |||
* | Remove zip from distribution, only use tgz | 2008-01-30 | |
| | |||
* | Missing quote | 2008-01-25 | |
| | |||
* | Many compatibility updates, bug fixes, rearrangements for compilation. | 2008-01-15 | |
| | |||
* | Removed file | 2007-12-14 | |
| |