aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
Commit message (Expand)AuthorAge
* Updated.Gravatar David Aspinall2003-10-05
* FixupGravatar David Aspinall2003-09-25
* Problem with export, temp fixGravatar David Aspinall2003-09-25
* Add Gerwin and Stefan canonical emails to ChangeLog generationGravatar David Aspinall2003-05-28
* Fix tabs in developer listGravatar David Aspinall2003-05-20
* Replace obsolete developer email addresses by alias at proofgeneral.org.Gravatar David Aspinall2003-05-20
* TAGS in devel release onlyGravatar David Aspinall2003-03-17
* Updated.Gravatar David Aspinall2003-03-03
* Add distcompile targetGravatar David Aspinall2003-03-03
* Add pg-xml to main distGravatar David Aspinall2003-02-18
* Updated.Gravatar David Aspinall2002-08-29
* Updated.Gravatar David Aspinall2002-08-29
* pre 3.4 -> 3.5Gravatar David Aspinall2002-08-29
* Updated.Gravatar David Aspinall2002-08-29
* Updated.Gravatar David Aspinall2002-08-29
* bugs file ignoredGravatar David Aspinall2002-08-08
* Add lclamGravatar David Aspinall2002-08-08
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 07:06:32 +0000