aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2007-05-10Note trac generic user pgemacs/pgemacsDavid Aspinall
2007-05-10Patch for utf-8 testDavid Aspinall
2007-05-10pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ...David Aspinall
2007-05-10Add proof-replace-regexp-nocasefoldDavid Aspinall
2007-04-30Make proof-shell-unicode non-nil by defaultDavid Aspinall
2007-04-27Experimenting smarter window creation when in three windowsPierre Courtieu
2007-04-23Clean comments around eval-and-compile proof-modeDavid Aspinall
2007-04-16Fixed a parenthesis, suggested by Stefan Monnier.Pierre Courtieu
2007-03-19Fix links to BUGS and FAQDavid Aspinall
2007-03-12Set version tag for new release.David Aspinall
2007-03-04Set version tag for new release.David Aspinall
2007-03-03Set version tag for new release.David Aspinall
2007-03-03Set version tag for new release.David Aspinall
2007-03-03Use replace-regexp instead of proof-replace-regexp to clean charsDavid Aspinall
2007-02-28Remove proof-indent-pad-eol atrocityDavid Aspinall
2007-01-20Tweak.David Aspinall
2007-01-09Set version tag for new release.David Aspinall
2006-12-20Set version tag for new release.David Aspinall
2006-12-11Set version tag for new release.David Aspinall
2006-12-07removed obsolete references to 'isa';Makarius Wenzel
2006-12-07proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...Makarius Wenzel
2006-11-07Set version tag for new release.David Aspinall
2006-10-27Set version tag for new release.David Aspinall
2006-10-27Rationalise testing for different values of window-system, to/and support mor...David Aspinall
2006-09-24Set version tag for new release.David Aspinall
2006-09-24Tweaks to buffer history mode. Still intermediate version.David Aspinall
2006-09-24Deleted fileDavid Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2006-09-22Cut comint input ring, minor efficiency tweak.David Aspinall
2006-09-22Comments.David Aspinall
2006-09-22Set version tag for new release.David Aspinall
2006-09-22Updated.David Aspinall
2006-09-12Set version tag for new release.David Aspinall
2006-09-09Set version tag for new release.David Aspinall
2006-09-07Set version tag for new release.David Aspinall
2006-09-06Making error highlighting more robust (for both emacsen) and use aPierre Courtieu
2006-09-05Error highliting in coq now worksPierre Courtieu
2006-08-28Set version tag for new release.David Aspinall
2006-08-23Coq indentation small fixes.Pierre Courtieu
2006-08-23Comments and docstring fixes in lib and generic.Pierre Courtieu
2006-08-16Fixed messages of prover process starting and errors in order to havePierre Courtieu
2006-05-26Set version tag for new release.David Aspinall
2006-05-26Add back 'raw-text setting, now LANG settings aren't taking effect again [me:...David Aspinall
2006-05-26Updated.David Aspinall
2006-05-26Add C-g watcher for trace bufferDavid Aspinall
2006-05-23Fix to remove mention of coding-system-for-write, coding-system-for-read not ...David Aspinall
2006-04-26Changed the type of proof-goal-command-p. It takes now a span, whichPierre Courtieu
2006-02-24back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ...Christophe Raffalli
2006-02-14Set version tag for new release.David Aspinall
2006-02-14Revert use of 'raw-text for coding-system-for-read/write since it changes beh...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:04:08 +0000