aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
Commit message (Expand)AuthorAge
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Ignore todo.defunctGravatar David Aspinall2002-07-19
* Add todo to tagsGravatar David Aspinall2002-07-19
* Try to fix latest linkGravatar David Aspinall2002-07-18
* Fix crucial typoGravatar David Aspinall2002-07-16
* Make tags for both manuals.Gravatar David Aspinall2002-07-16
* Tweak link creation/deletionGravatar David Aspinall2002-07-16
* Link in LATESTNAMEGravatar David Aspinall2002-07-16
* Do not link devel release. Fix releasefinal to do that.Gravatar David Aspinall2002-07-15
* Flag on cpGravatar David Aspinall2002-07-14
* Add prune to updateGravatar David Aspinall2002-07-14
* Try to debugGravatar David Aspinall2002-07-14
* Revert accidental commit by crrGravatar David Aspinall2002-03-21
* added hook: proof-before-fontify-output-hookGravatar Christophe Raffalli2002-03-21
* Remove latest-src-rpm linkGravatar David Aspinall2002-02-14
* Fixup copying of releasename linkGravatar David Aspinall2001-09-09
* Finished shift to 3.4Gravatar David Aspinall2001-09-09
* Update for 3.4preGravatar David Aspinall2001-09-09
* Put all in dist except pgkitGravatar David Aspinall2001-08-10
* Change DEVELDOWNLOAD to edit correct fileGravatar David Aspinall2001-05-08
* Forgot to make BUILD dir.Gravatar David Aspinall2001-05-08
* Fix cut and past tab errorGravatar David Aspinall2001-05-08
* rpm target: Clean out rpmtopdir, and make subdirs again. Get full path to ta...Gravatar David Aspinall2001-05-08
* Clean out NAME, force link.Gravatar David Aspinall2001-05-08
* Include a few files from etc in the distribution, esp .spec fileGravatar David Aspinall2001-05-08
* Dont make SRPM any more. Use rpm -tb to build binary package from tarballGravatar David Aspinall2001-05-08
* Name change af2 -> phoxGravatar David Aspinall2000-12-07
* Second part of moving to 3.3pre series.Gravatar David Aspinall2000-10-19
* Begin move to 3.3 series.Gravatar David Aspinall2000-10-18
* Warning about duplicate ChangeLog entriesGravatar David Aspinall2000-10-02
* Tweak to ChangeLog productionGravatar David Aspinall2000-10-02
* Remove ps and pdf for PG-adapting from distrib to redue size to normal propor...Gravatar David Aspinall2000-10-02
* Fix ChangeLog target so makes prefix properly. Revert to keeping uncompresse...Gravatar David Aspinall2000-09-29
* Add acl2 and twelf to elisp dirsGravatar David Aspinall2000-09-29
* ChangeLog is just last 1000 lines, instead of 11000 starting in 1996...Gravatar David Aspinall2000-09-29
* twelf and acl2 are in ordinary distGravatar David Aspinall2000-09-29
* phtml -> htmlGravatar David Aspinall2000-09-28
* proofgeneral email address for meGravatar David Aspinall2000-09-27
* Remove extra space preventing ChangeLog update.Gravatar David Aspinall2000-09-26
* Remove twelf from .tar.gzGravatar David Aspinall2000-09-25
* Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ...Gravatar David Aspinall2000-09-21
* Changed ChangeLog target to use rcs2log directly. Added developer's details,...Gravatar David Aspinall2000-09-21
* Make ordinary dist before develdist, because dist clears build dir... whoops.Gravatar David Aspinall2000-09-12
* Make distclean rather than clean do the CVS pruning.Gravatar David Aspinall2000-06-06
* Make doc link to 3.1, not pre-release. Minor extra editing on new release.Gravatar David Aspinall2000-05-25
* Added autoloads target.Gravatar David Aspinall2000-05-09
* Force in .gz target.Gravatar David Aspinall2000-04-28
* Keep ChangeLog gzipped. Small saving on repo size.Gravatar David Aspinall2000-04-28
* Added warning about releasing from old branch.Gravatar David Aspinall2000-04-28
* Change order in release to make ChangeLog be updated before dist built.Gravatar David Aspinall2000-04-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 09:17:53 +0000