| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
| * | Add lclam | David Aspinall | 2002-08-08 |
| * | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... | David Aspinall | 2002-07-19 |
| * | Ignore todo.defunct | David Aspinall | 2002-07-19 |
| * | Add todo to tags | David Aspinall | 2002-07-19 |
| * | Try to fix latest link | David Aspinall | 2002-07-18 |
| * | Fix crucial typo | David Aspinall | 2002-07-16 |
| * | Make tags for both manuals. | David Aspinall | 2002-07-16 |
| * | Tweak link creation/deletion | David Aspinall | 2002-07-16 |
| * | Link in LATESTNAME | David Aspinall | 2002-07-16 |
| * | Do not link devel release. Fix releasefinal to do that. | David Aspinall | 2002-07-15 |
| * | Flag on cp | David Aspinall | 2002-07-14 |
| * | Add prune to update | David Aspinall | 2002-07-14 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/Makefile.devel