Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 -> ↵ | David Aspinall | 2002-07-19 | |
| | | | | proof-script-comment-{start,end}-regexp. | |||
* | 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 | |
| | ||||
* | Try to debug | David Aspinall | 2002-07-14 | |
| | ||||
* | Revert accidental commit by crr | David Aspinall | 2002-03-21 | |
| | ||||
* | added hook: proof-before-fontify-output-hook | Christophe Raffalli | 2002-03-21 | |
| | ||||
* | Remove latest-src-rpm link | David Aspinall | 2002-02-14 | |
| | ||||
* | Fixup copying of releasename link | David Aspinall | 2001-09-09 | |
| | ||||
* | Finished shift to 3.4 | David Aspinall | 2001-09-09 | |
| |