aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Expand)Author
2004-02-07Updates for moving html out of ProofGeneral dirDavid Aspinall
2004-02-07Add options to tag so devel.untag not neededDavid Aspinall
2004-02-07Adjust RELEASEDIR and GOLIVE for pub to /group/project on DICE.David Aspinall
2004-02-07Fix for pserver return code on updateDavid Aspinall
2004-02-07Add Emacs mode tagDavid Aspinall
2003-12-11Fix domain nameDavid Aspinall
2003-10-05Updated.David Aspinall
2003-09-25FixupDavid Aspinall
2003-09-25Problem with export, temp fixDavid Aspinall
2003-05-28Add Gerwin and Stefan canonical emails to ChangeLog generationDavid Aspinall
2003-05-20Fix tabs in developer listDavid Aspinall
2003-05-20Replace obsolete developer email addresses by alias at proofgeneral.org.David Aspinall
2003-03-17TAGS in devel release onlyDavid Aspinall
2003-03-03Updated.David Aspinall
2003-03-03Add distcompile targetDavid Aspinall
2003-02-18Add pg-xml to main distDavid Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29pre 3.4 -> 3.5David Aspinall
2002-08-29Updated.David Aspinall
2002-08-29Updated.David Aspinall
2002-08-08bugs file ignoredDavid Aspinall
2002-08-08Add lclamDavid Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-19Ignore todo.defunctDavid Aspinall
2002-07-19Add todo to tagsDavid Aspinall
2002-07-18Try to fix latest linkDavid Aspinall
2002-07-16Fix crucial typoDavid Aspinall
2002-07-16Make tags for both manuals.David Aspinall
2002-07-16Tweak link creation/deletionDavid Aspinall
2002-07-16Link in LATESTNAMEDavid Aspinall
2002-07-15Do not link devel release. Fix releasefinal to do that.David Aspinall
2002-07-14Flag on cpDavid Aspinall
2002-07-14Add prune to updateDavid Aspinall
2002-07-14Try to debugDavid Aspinall
2002-03-21Revert accidental commit by crrDavid Aspinall
2002-03-21added hook: proof-before-fontify-output-hookChristophe Raffalli
2002-02-14Remove latest-src-rpm linkDavid Aspinall
2001-09-09Fixup copying of releasename linkDavid Aspinall
2001-09-09Finished shift to 3.4David Aspinall
2001-09-09Update for 3.4preDavid Aspinall
2001-08-10Put all in dist except pgkitDavid Aspinall
2001-05-08Change DEVELDOWNLOAD to edit correct fileDavid Aspinall
2001-05-08Forgot to make BUILD dir.David Aspinall
2001-05-08Fix cut and past tab errorDavid Aspinall
2001-05-08rpm target: Clean out rpmtopdir, and make subdirs again. Get full path to ta...David Aspinall
2001-05-08Clean out NAME, force link.David Aspinall
2001-05-08Include a few files from etc in the distribution, esp .spec fileDavid Aspinall
2001-05-08Dont make SRPM any more. Use rpm -tb to build binary package from tarballDavid Aspinall
2000-12-07Name change af2 -> phoxDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:09:25 +0000