Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Comments. | David Aspinall | 2005-02-13 |
* | Added simple testing framework (in progress) | David Aspinall | 2005-02-13 |
* | Name change of TODO/BUGS files | David Aspinall | 2004-12-01 |
* | Hack names of xemacs-elc emacs-elc packages too | David Aspinall | 2004-08-25 |
* | Change develdownload.php -> develdownload.html | David Aspinall | 2004-08-25 |
* | Update to version 3.6 pre-release | David Aspinall | 2004-08-25 |
* | Add lib to elisp paths. Name ETAGS program. | David Aspinall | 2004-08-25 |
* | Updated. | David Aspinall | 2004-04-24 |
* | Update pre-rel tag | David Aspinall | 2004-04-24 |
* | Fix comment | David Aspinall | 2004-04-24 |
* | Fix my email addr. | David Aspinall | 2004-04-16 |
* | Add -d to first update in tag | David Aspinall | 2004-04-06 |
* | Comment. | David Aspinall | 2004-03-01 |
* | Tweaks to building tar file to include correct files. Remove golive from fak... | David Aspinall | 2004-03-01 |
* | Add logupdate target (still not part of default build process) | David Aspinall | 2004-02-08 |
* | Updated. | David Aspinall | 2004-02-08 |
* | Comments about prereleasetag | David Aspinall | 2004-02-08 |
* | Clean releasedir after golive | David Aspinall | 2004-02-08 |
* | Try to remove link to ProofGeneral from web area. | David Aspinall | 2004-02-08 |
* | Tweak golive | David Aspinall | 2004-02-08 |
* | Update email and web addresses | David Aspinall | 2004-02-08 |
* | Tweak RELEASEDIR, GOLIVE | David Aspinall | 2004-02-08 |
* | Fix golive loc | David Aspinall | 2004-02-08 |
* | Updated. | David Aspinall | 2004-02-08 |
* | Fix golive, add some .cvsignore to ignored files | David Aspinall | 2004-02-08 |
* | Tune RPMBUILD | David Aspinall | 2004-02-08 |
* | Remove development distribution. | David Aspinall | 2004-02-07 |
* | Updates for moving html out of ProofGeneral dir | David Aspinall | 2004-02-07 |
* | Updates for moving html out of ProofGeneral dir | David Aspinall | 2004-02-07 |
* | Add options to tag so devel.untag not needed | David Aspinall | 2004-02-07 |
* | Adjust RELEASEDIR and GOLIVE for pub to /group/project on DICE. | David Aspinall | 2004-02-07 |
* | Fix for pserver return code on update | David Aspinall | 2004-02-07 |
* | Add Emacs mode tag | David Aspinall | 2004-02-07 |
* | Fix domain name | David Aspinall | 2003-12-11 |
* | Updated. | David Aspinall | 2003-10-05 |
* | Fixup | David Aspinall | 2003-09-25 |
* | Problem with export, temp fix | David Aspinall | 2003-09-25 |
* | Add Gerwin and Stefan canonical emails to ChangeLog generation | David Aspinall | 2003-05-28 |
* | Fix tabs in developer list | David Aspinall | 2003-05-20 |
* | Replace obsolete developer email addresses by alias at proofgeneral.org. | David Aspinall | 2003-05-20 |
* | TAGS in devel release only | David Aspinall | 2003-03-17 |
* | Updated. | David Aspinall | 2003-03-03 |
* | Add distcompile target | David Aspinall | 2003-03-03 |
* | Add pg-xml to main dist | David Aspinall | 2003-02-18 |
* | Updated. | David Aspinall | 2002-08-29 |
* | Updated. | David Aspinall | 2002-08-29 |
* | pre 3.4 -> 3.5 | David Aspinall | 2002-08-29 |
* | Updated. | David Aspinall | 2002-08-29 |
* | Updated. | David Aspinall | 2002-08-29 |
* | bugs file ignored | David Aspinall | 2002-08-08 |