aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2004-03-01fix syntaxDavid Aspinall
2004-03-01FixDavid Aspinall
2004-03-01Bug in thy-add-menus declarationDavid Aspinall
2004-03-01Update to mention multiple packages, etc.David Aspinall
2004-02-29Add emacs-elc and xemacs-elc sub-packages.David Aspinall
Rely on the Makefile to do installation.
2004-02-29Add -q to stop site packages loading during compileDavid Aspinall
2004-02-29Beginnings of parsescript supportDavid Aspinall
2004-02-29Tweak text. Allow choice of Emacs versions, and to work if PG already loaded.David Aspinall
2004-02-29Add man page, remove ps file from distrib.David Aspinall
2004-02-29Updated.David Aspinall
2004-02-29Update.David Aspinall
2004-02-29Update web addrDavid Aspinall
2004-02-29New files.David Aspinall
2004-02-29Renamed fileDavid Aspinall
2004-02-29Test cases for Coq indentation.David Aspinall
2004-02-29Tweaks for install, compiling x-symbol, etcDavid Aspinall
2004-02-29Add -no-site-file to batch xemacs.David Aspinall
2004-02-29Add --emacs optionsDavid Aspinall
2004-02-28Split install-elisp into separate targets for RPMDavid Aspinall
2004-02-28Expand: add install targets, editing proofgeneral script, dealing with emacs ↵David Aspinall
versions.
2004-02-28Fix pathsDavid Aspinall
2004-02-28Robustify (add usage and version info)David Aspinall
2004-02-28Updated.David Aspinall
2004-02-28Extend notes.David Aspinall
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.
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 22:33:13 +0000