aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2004-02-16I added some utility functions in generic/span-overlays.el andPierre Courtieu
generic/span-extent.el. This is for my "holes" feature integration.
2004-02-11Added some interface stuff:Pierre Courtieu
- an default coq abbrev file, loaded only if no abbrev table exists for coq; - some menu entries and shortcuts for abbrev; - a menu entry for "3 buffers view".
2004-02-11little error in the syntax corrected.Pierre Courtieu
2004-02-10Remove offending domain nameDavid Aspinall
2004-02-10Updated.David Aspinall
2004-02-10Updated.David Aspinall
2004-02-09Updated.David Aspinall
2004-02-08Updated.David Aspinall
2004-02-08Add logupdate target (still not part of default build process)David Aspinall
2004-02-08UpdatedDavid Aspinall
2004-02-08Web page todoDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 03:28:08 +0000