aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2007-05-10Set version tag for new release.David Aspinall
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
messages.
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
mode. Strategy is: always try to split an associated buffer window.
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 ↵Makarius Wenzel
breaks Poly/MK 5;
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 ↵David Aspinall
more Emacs ports easily
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
span instead of region.
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
prog-args shown. It was confusing for users not to see what arguments was given to the prover.
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 ↵David Aspinall
[me: XEmacs 21.4.19 on FC5]
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
available on non-Mule compiles
2006-04-26Changed the type of proof-goal-command-p. It takes now a span, whichPierre Courtieu
allows using a span attribute to detect goal commands. I think I modified all modes accordingly.
2006-02-24back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ↵Christophe Raffalli
imporvment in proof by contextual menu
2006-02-14Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 06:49:55 +0000