aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Expand)Author
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
2000-10-19Second part of moving to 3.3pre series.David Aspinall
2000-10-18Begin move to 3.3 series.David Aspinall
2000-10-02Warning about duplicate ChangeLog entriesDavid Aspinall
2000-10-02Tweak to ChangeLog productionDavid Aspinall
2000-10-02Remove ps and pdf for PG-adapting from distrib to redue size to normal propor...David Aspinall
2000-09-29Fix ChangeLog target so makes prefix properly. Revert to keeping uncompresse...David Aspinall
2000-09-29Add acl2 and twelf to elisp dirsDavid Aspinall
2000-09-29ChangeLog is just last 1000 lines, instead of 11000 starting in 1996...David Aspinall
2000-09-29twelf and acl2 are in ordinary distDavid Aspinall
2000-09-28phtml -> htmlDavid Aspinall
2000-09-27proofgeneral email address for meDavid Aspinall
2000-09-26Remove extra space preventing ChangeLog update.David Aspinall
2000-09-25Remove twelf from .tar.gzDavid Aspinall
2000-09-21Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ...David Aspinall
2000-09-21Changed ChangeLog target to use rcs2log directly. Added developer's details,...David Aspinall
2000-09-12Make ordinary dist before develdist, because dist clears build dir... whoops.David Aspinall
2000-06-06Make distclean rather than clean do the CVS pruning.David Aspinall
2000-05-25Make doc link to 3.1, not pre-release. Minor extra editing on new release.David Aspinall
2000-05-09Added autoloads target.David Aspinall
2000-04-28Force in .gz target.David Aspinall
2000-04-28Keep ChangeLog gzipped. Small saving on repo size.David Aspinall
2000-04-28Added warning about releasing from old branch.David Aspinall
2000-04-07Change order in release to make ChangeLog be updated before dist built.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:55:45 +0000