aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2007-12-10GNU Emacs: delete-backward-char needs an argumentDavid Aspinall
2007-12-10GNU Emacs: insert-string -> insertDavid Aspinall
2007-12-10Fix compile errorsDavid Aspinall
2007-12-10proof-x-symbol-initialize: fix default mode name constructionDavid Aspinall
2007-12-10proof-general-version-year: updateDavid Aspinall
2007-12-10Fix string quotingDavid Aspinall
2007-12-10Fix use of erase-buffer for GNU EmacsDavid Aspinall
2007-12-10Comments.David Aspinall
2007-12-10Fix some compile warnings: use of error, customization groupsDavid Aspinall
2007-12-10Set version tag for new release.David Aspinall
2007-12-10Shorten tooltipDavid Aspinall
2007-12-09Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts to...David Aspinall
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:57:04 +0000