aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2007-12-09Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts ↵David Aspinall
to pg-xml.el
2007-12-09Update bug report locationsDavid Aspinall
2007-12-09Nuke some compile warningsDavid Aspinall
2007-12-09Patch for buggy derived.el in XEmacs 21.5.b28David Aspinall
2007-12-09Comments.David Aspinall
2007-11-12Set version tag for new release.David Aspinall
2007-11-04defconst proof-warning-face -- as expected by GNU Emacs;Makarius Wenzel
2007-10-25Set version tag for new release.David Aspinall
2007-09-10Set version tag for new release.David Aspinall
2007-09-06Use button2 instead of button1 for pg-goals-button-actionDavid Aspinall
2007-08-19Set version tag for new release.David Aspinall
2007-08-19pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexpDavid Aspinall
2007-08-19Fix to proof-defintset-fn so that correct current value is displayed.David Aspinall
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
Fixes trac report #138: processing comments alone leads to spurious read-only region.
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 19:59:09 +0000