aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-02-08Renamed fileDavid Aspinall
2004-02-08Updated.David Aspinall
2004-02-08Fix linkDavid Aspinall
2004-02-08Updated.David Aspinall
2004-02-08Comments about prereleasetagDavid Aspinall
2004-02-08Clean releasedir after goliveDavid Aspinall
2004-02-08Try to remove link to ProofGeneral from web area.David Aspinall
2004-02-08Update some urlsDavid Aspinall
2004-02-08Update magicDavid Aspinall
2004-02-08Fix web addressesDavid Aspinall
2004-02-08Tweak goliveDavid Aspinall
2004-02-08Updated.David Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2004-02-08New files.David Aspinall
2004-02-08Updated.David Aspinall
2004-02-08Deleted fileDavid Aspinall
2004-02-08Tweak RELEASEDIR, GOLIVEDavid Aspinall
2004-02-08Fix golive locDavid Aspinall
2004-02-08Updated.David Aspinall
2004-02-08Fix golive, add some .cvsignore to ignored filesDavid Aspinall
2004-02-08Fix globsDavid Aspinall
2004-02-08Fix link to portraitDavid Aspinall
2004-02-08Set version tag for new release.David Aspinall
2004-02-08Tune RPMBUILDDavid Aspinall
2004-02-08info-<x> files seem to be not built now.David Aspinall
2004-02-07Remove development distribution.David Aspinall
2004-02-07Updated.David Aspinall
2004-02-07Updates for moving html out of ProofGeneral dirDavid Aspinall
2004-02-07Updates for moving html out of ProofGeneral dirDavid Aspinall
2004-02-07Deleted fileDavid Aspinall
2004-02-07Updated.David Aspinall
2004-02-07Add options to tag so devel.untag not neededDavid Aspinall
2004-02-07Remove more proofgeneral.org mail aliasesDavid Aspinall
2004-02-07Adjust RELEASEDIR and GOLIVE for pub to /group/project on DICE.David Aspinall
2004-02-07Set version tag for new release.David Aspinall
2004-02-07Fix for pserver return code on updateDavid Aspinall
2004-02-07Add Emacs mode tagDavid Aspinall
2004-02-07UpdatedDavid Aspinall
2004-02-07Updated.David Aspinall
2004-02-06adapting to coq-8.0.Pierre Courtieu
2004-01-30updating for new PG versionChristophe Raffalli
2004-01-24Fix blender link (it gets .org, lucky thing)David Aspinall
2004-01-24pre-release coming soonDavid Aspinall
2004-01-19revoke broken indent fixGerwin Klein
2004-01-15Add redirect for ~proofgen on zermelo.dcsDavid Aspinall
2004-01-09Mention Eclipse awardDavid Aspinall
2003-12-29spanning sub/super scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup>Gerwin Klein
2003-12-23removed bold, no longer supported by x-symbolGerwin Klein
2003-12-23more cleanup of sub/superscript, removed duplicate subscript-matcherGerwin Klein
2003-12-11Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-11 12:42:52 +0000