Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add -d to first update in tag | 2004-04-06 | |
* | Comment. | 2004-03-01 | |
* | Tweaks to building tar file to include correct files. Remove golive from fak... | 2004-03-01 | |
* | Add logupdate target (still not part of default build process) | 2004-02-08 | |
* | Updated. | 2004-02-08 | |
* | Comments about prereleasetag | 2004-02-08 | |
* | Clean releasedir after golive | 2004-02-08 | |
* | Try to remove link to ProofGeneral from web area. | 2004-02-08 | |
* | Tweak golive | 2004-02-08 | |
* | Update email and web addresses | 2004-02-08 | |
* | Tweak RELEASEDIR, GOLIVE | 2004-02-08 | |
* | Fix golive loc | 2004-02-08 | |
* | Updated. | 2004-02-08 | |
* | Fix golive, add some .cvsignore to ignored files | 2004-02-08 | |
* | Tune RPMBUILD | 2004-02-08 | |
* | Remove development distribution. | 2004-02-07 | |
* | Updates for moving html out of ProofGeneral dir | 2004-02-07 | |
* | Updates for moving html out of ProofGeneral dir | 2004-02-07 | |
* | Add options to tag so devel.untag not needed | 2004-02-07 | |
* | Adjust RELEASEDIR and GOLIVE for pub to /group/project on DICE. | 2004-02-07 | |
* | Fix for pserver return code on update | 2004-02-07 | |
* | Add Emacs mode tag | 2004-02-07 | |
* | Fix domain name | 2003-12-11 | |
* | Updated. | 2003-10-05 | |
* | Fixup | 2003-09-25 | |
* | Problem with export, temp fix | 2003-09-25 | |
* | Add Gerwin and Stefan canonical emails to ChangeLog generation | 2003-05-28 | |
* | Fix tabs in developer list | 2003-05-20 | |
* | Replace obsolete developer email addresses by alias at proofgeneral.org. | 2003-05-20 | |
* | TAGS in devel release only | 2003-03-17 | |
* | Updated. | 2003-03-03 | |
* | Add distcompile target | 2003-03-03 | |
* | Add pg-xml to main dist | 2003-02-18 | |
* | Updated. | 2002-08-29 | |
* | Updated. | 2002-08-29 | |
* | pre 3.4 -> 3.5 | 2002-08-29 | |
* | Updated. | 2002-08-29 | |
* | Updated. | 2002-08-29 | |
* | bugs file ignored | 2002-08-08 | |
* | Add lclam | 2002-08-08 | |
* | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... | 2002-07-19 | |
* | Ignore todo.defunct | 2002-07-19 | |
* | Add todo to tags | 2002-07-19 | |
* | Try to fix latest link | 2002-07-18 | |
* | Fix crucial typo | 2002-07-16 | |
* | Make tags for both manuals. | 2002-07-16 | |
* | Tweak link creation/deletion | 2002-07-16 | |
* | Link in LATESTNAME | 2002-07-16 | |
* | Do not link devel release. Fix releasefinal to do that. | 2002-07-15 | |
* | Flag on cp | 2002-07-14 |