aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Comments.Gravatar David Aspinall2007-12-10
* Comments.Gravatar David Aspinall2007-12-10
* Modify buffer-invisibility-spec to work smoothly with X-Symbol/EmacsGravatar David Aspinall2007-12-10
* GNU Emacs compat: buffer-substringGravatar David Aspinall2007-12-10
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
* GNU Emacs: delete-backward-char needs an argumentGravatar David Aspinall2007-12-10
* GNU Emacs: insert-string -> insertGravatar David Aspinall2007-12-10
* Fix compile errorsGravatar David Aspinall2007-12-10
* proof-x-symbol-initialize: fix default mode name constructionGravatar David Aspinall2007-12-10
* proof-general-version-year: updateGravatar David Aspinall2007-12-10
* Fix string quotingGravatar David Aspinall2007-12-10
* Fix use of erase-buffer for GNU EmacsGravatar David Aspinall2007-12-10
* Comments.Gravatar David Aspinall2007-12-10
* Fix some compile warnings: use of error, customization groupsGravatar David Aspinall2007-12-10
* Set version tag for new release.Gravatar David Aspinall2007-12-10
* Shorten tooltipGravatar David Aspinall2007-12-10
* Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts to...Gravatar David Aspinall2007-12-09
* Update bug report locationsGravatar David Aspinall2007-12-09
* Nuke some compile warningsGravatar David Aspinall2007-12-09
* Patch for buggy derived.el in XEmacs 21.5.b28Gravatar David Aspinall2007-12-09
* Comments.Gravatar David Aspinall2007-12-09
* Set version tag for new release.Gravatar David Aspinall2007-11-12
* defconst proof-warning-face -- as expected by GNU Emacs;Gravatar Makarius Wenzel2007-11-04
* Set version tag for new release.Gravatar David Aspinall2007-10-25
* Set version tag for new release.Gravatar David Aspinall2007-09-10
* Use button2 instead of button1 for pg-goals-button-actionGravatar David Aspinall2007-09-06
* Set version tag for new release.Gravatar David Aspinall2007-08-19
* pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexpGravatar David Aspinall2007-08-19
* Fix to proof-defintset-fn so that correct current value is displayed.Gravatar David Aspinall2007-08-19
* Fix attribute for proof-active-area-faceGravatar David Aspinall2007-08-19
* Only analyse structure for region of appended textGravatar David Aspinall2007-08-19
* proof-active-area-face: highlighting face for active areaGravatar David Aspinall2007-08-19
* CommentsGravatar David Aspinall2007-08-19
* proof-append-alist: detach queue span if no commands after comments stripped.Gravatar David Aspinall2007-08-19
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* Add unload utility for developmentGravatar David Aspinall2007-08-14
* Set version tag for new release.Gravatar David Aspinall2007-07-04
* Set version tag for new release.Gravatar David Aspinall2007-06-19
* Set version tag for new release.Gravatar David Aspinall2007-06-10
* Set version tag for new release.Gravatar David Aspinall2007-06-08
* Set version tag for new release.Gravatar David Aspinall2007-06-05
* Set version tag for new release.Gravatar David Aspinall2007-05-10
* Note trac generic user pgemacs/pgemacsGravatar David Aspinall2007-05-10
* Patch for utf-8 testGravatar David Aspinall2007-05-10
* pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ...Gravatar David Aspinall2007-05-10
* Add proof-replace-regexp-nocasefoldGravatar David Aspinall2007-05-10
* Make proof-shell-unicode non-nil by defaultGravatar David Aspinall2007-04-30
* Experimenting smarter window creation when in three windowsGravatar Pierre Courtieu2007-04-27
* Clean comments around eval-and-compile proof-modeGravatar David Aspinall2007-04-23
* Fixed a parenthesis, suggested by Stefan Monnier.Gravatar Pierre Courtieu2007-04-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 05:05:02 +0000