aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-05-17added -L option;Makarius Wenzel
2005-05-10undeleted;Makarius Wenzel
2005-04-27Add FAQ about favouritesDavid Aspinall
2005-04-21added some entris in coq menus.Pierre Courtieu
2005-04-20cleaned a bit coq.el (checkdoc). Put some comments to tell what is toPierre Courtieu
2005-04-20New backtracking system for coq continues, this time it uses a new CoqPierre Courtieu
2005-03-25Updated.David Aspinall
2005-03-25New files.David Aspinall
2005-03-25Set version tag for new release.David Aspinall
2005-03-25Updated.David Aspinall
2005-03-25Remove project todosDavid Aspinall
2005-03-25Remove junkDavid Aspinall
2005-03-23Deleted fileDavid Aspinall
2005-03-23Use another symbolDavid Aspinall
2005-03-23Changes from Clemens Ballarin for large X-Symbol fontsDavid Aspinall
2005-03-23New files.David Aspinall
2005-03-23Large fontsDavid Aspinall
2005-03-21Updated.David Aspinall
2005-03-21Mention Stefan's patchesDavid Aspinall
2005-03-10debugging and cleaning of holes.el.Pierre Courtieu
2005-03-08small modifications, updating doc string of holes.el.Pierre Courtieu
2005-03-08making holes.el cleaner, with the help of Stefan Monnier. I had toPierre Courtieu
2005-03-01cleaning holes.el, starting to making it compatible with skeletons.Pierre Courtieu
2005-03-01debugging of holes.el.Pierre Courtieu
2005-02-21Debugging holes.el, starting trying to use skeletons.Pierre Courtieu
2005-02-21Cleaning file holes.el (tab-width, docstring etc).Pierre Courtieu
2005-02-17Updated the doc for new pg/coq. Made modifications advised by StefanPierre Courtieu
2005-02-16debugging the new holes-mode for fsf emacs. Keyboard shortcuts wasPierre Courtieu
2005-02-15Update FAQ for X-Symbol large fonts (from Clemens Ballarin)David Aspinall
2005-02-15Modified holes doc string to fit to new shortcut of holes-mode.Pierre Courtieu
2005-02-15Changes from Clemens Ballarin for large X-Symbol fontsDavid Aspinall
2005-02-15New files.David Aspinall
2005-02-15Finished making holes.el a real minor-mode. There is a new filePierre Courtieu
2005-02-14cleaning holes.el. All functions are prefixed with "holes-". AlsoPierre Courtieu
2005-02-14Starting to clean holes.el following Stefan Monnier's advices. MakingPierre Courtieu
2005-02-13Comments.David Aspinall
2005-02-13Force branch versionDavid Aspinall
2005-02-13Added simple testing framework (in progress)David Aspinall
2005-02-13Remove setting of x-symbol-language by C Raffalli.David Aspinall
2005-02-13Add patch by Stefan Monnier to revert frame titles (although would have liked...David Aspinall
2005-02-13Add suggestion by Stefan Monnier (comment only)David Aspinall
2005-02-13Attempt to address X-Symbol startup problems for PhoX.David Aspinall
2005-02-10Deleted compatibility for coq v6 and v7 + new backtracking system. ForPierre Courtieu
2005-02-09*** empty log message ***Christophe Raffalli
2005-02-01FAQ #1 typoDavid Aspinall
2005-01-28Patch from Stefan Monnier:David Aspinall
2005-01-07Mention to check FAQ tooDavid Aspinall
2004-12-08changes to pbrpmChristophe Raffalli
2004-12-01Name change of TODO/BUGS filesDavid Aspinall
2004-12-01Renamed fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 11:59:07 +0000