aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2007-08-19Fix attribute for proof-active-area-faceDavid Aspinall
2007-08-19Only analyse structure for region of appended textDavid Aspinall
2007-08-19proof-active-area-face: highlighting face for active areaDavid Aspinall
2007-08-19CommentsDavid Aspinall
2007-08-19proof-append-alist: detach queue span if no commands after comments stripped.David Aspinall
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2007-08-14Add unload utility for developmentDavid Aspinall
2007-07-04Set version tag for new release.David Aspinall
2007-06-19Set version tag for new release.David Aspinall
2007-06-10Set version tag for new release.David Aspinall
2007-06-08Set version tag for new release.David Aspinall
2007-06-05Set version tag for new release.David Aspinall
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 16:26:53 +0000