aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2004-02-28Note about desktop integrationDavid Aspinall
2004-02-28New files.David Aspinall
2004-02-28Update desktop support to freedesktop.org standards.David Aspinall
2004-02-28Deleted fileDavid Aspinall
2004-02-28New files.David Aspinall
2004-02-28*** empty log message ***David Aspinall
2004-02-28Fix locDavid Aspinall
2004-02-28New files.David Aspinall
2004-02-28New files.David Aspinall
2004-02-28New files.David Aspinall
2004-02-28Updates of X-Symbol mode textDavid Aspinall
2004-02-28Comments.David Aspinall
2004-02-26little bug correction of holesPierre Courtieu
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
expansion to build holes.
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
correctly for xemacs (any version) and emacs > 21.
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
commit, for "holes" integration.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 08:32:59 +0000