aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-02-26little changes in the holes short docPierre Courtieu
2004-02-26little changes of menu/holes/abbrev in coq/pgPierre Courtieu
2004-02-19added menu entries to tactic menusPierre Courtieu
2004-02-19added submenus for command insertion for coq. menu uses abbrevPierre Courtieu
2004-02-19added some lines in holes short doc. And some abbrevs for coq.Pierre Courtieu
2004-02-19added some words to hole short docPierre Courtieu
2004-02-19added some menu entries for coq.Pierre Courtieu
2004-02-19last commit was incompletePierre Courtieu
2004-02-18Update (C)David Aspinall
2004-02-18Coq Abbrevs now make holes. I will add a menu with basic command.Pierre Courtieu
2004-02-18holes implementation, it uses span.el. mouse keybindings workPierre Courtieu
2004-02-17Avoid type error if coq program can't be found during startup.David Aspinall
2004-02-16forgot some functions in span-extent.el. This is like the previousPierre Courtieu
2004-02-16I added some utility functions in generic/span-overlays.el andPierre Courtieu
2004-02-11Added some interface stuff:Pierre Courtieu
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 17:43:13 +0000