index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
Commit message (
Collapse
)
Author
Age
*
Modify buffer-invisibility-spec to work smoothly with X-Symbol/Emacs
David Aspinall
2007-12-10
|
*
GNU Emacs compat: buffer-substring
David Aspinall
2007-12-10
|
*
Emacs compatibility/API updates: string-to-int -> string-to-number
David Aspinall
2007-12-10
|
*
GNU Emacs: delete-backward-char needs an argument
David Aspinall
2007-12-10
|
*
GNU Emacs: insert-string -> insert
David Aspinall
2007-12-10
|
*
Fix compile errors
David Aspinall
2007-12-10
|
*
proof-x-symbol-initialize: fix default mode name construction
David Aspinall
2007-12-10
|
*
proof-general-version-year: update
David Aspinall
2007-12-10
|
*
Fix string quoting
David Aspinall
2007-12-10
|
*
Fix use of erase-buffer for GNU Emacs
David Aspinall
2007-12-10
|
*
Comments.
David Aspinall
2007-12-10
|
*
Fix some compile warnings: use of error, customization groups
David Aspinall
2007-12-10
|
*
Set version tag for new release.
David Aspinall
2007-12-10
|
*
Shorten tooltip
David Aspinall
2007-12-10
|
*
Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts ↵
David Aspinall
2007-12-09
|
|
|
|
to pg-xml.el
*
Update bug report locations
David Aspinall
2007-12-09
|
*
Nuke some compile warnings
David Aspinall
2007-12-09
|
*
Patch for buggy derived.el in XEmacs 21.5.b28
David Aspinall
2007-12-09
|
*
Comments.
David Aspinall
2007-12-09
|
*
Set version tag for new release.
David Aspinall
2007-11-12
|
*
defconst proof-warning-face -- as expected by GNU Emacs;
Makarius Wenzel
2007-11-04
|
*
Set version tag for new release.
David Aspinall
2007-10-25
|
*
Set version tag for new release.
David Aspinall
2007-09-10
|
*
Use button2 instead of button1 for pg-goals-button-action
David Aspinall
2007-09-06
|
*
Set version tag for new release.
David Aspinall
2007-08-19
|
*
pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexp
David Aspinall
2007-08-19
|
*
Fix to proof-defintset-fn so that correct current value is displayed.
David Aspinall
2007-08-19
|
*
Fix attribute for proof-active-area-face
David Aspinall
2007-08-19
|
*
Only analyse structure for region of appended text
David Aspinall
2007-08-19
|
*
proof-active-area-face: highlighting face for active area
David Aspinall
2007-08-19
|
*
Comments
David Aspinall
2007-08-19
|
*
proof-append-alist: detach queue span if no commands after comments stripped.
David Aspinall
2007-08-19
|
|
|
|
Fixes trac report #138: processing comments alone leads to spurious read-only region.
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
|
*
Add unload utility for development
David Aspinall
2007-08-14
|
*
Set version tag for new release.
David Aspinall
2007-07-04
|
*
Set version tag for new release.
David Aspinall
2007-06-19
|
*
Set version tag for new release.
David Aspinall
2007-06-10
|
*
Set version tag for new release.
David Aspinall
2007-06-08
|
*
Set version tag for new release.
David Aspinall
2007-06-05
|
*
Set version tag for new release.
David Aspinall
2007-05-10
|
*
Note trac generic user pgemacs/pgemacs
David Aspinall
2007-05-10
|
*
Patch for utf-8 test
David Aspinall
2007-05-10
|
*
pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ↵
David Aspinall
2007-05-10
|
|
|
|
messages.
*
Add proof-replace-regexp-nocasefold
David Aspinall
2007-05-10
|
*
Make proof-shell-unicode non-nil by default
David Aspinall
2007-04-30
|
*
Experimenting smarter window creation when in three windows
Pierre Courtieu
2007-04-27
|
|
|
|
mode. Strategy is: always try to split an associated buffer window.
*
Clean comments around eval-and-compile proof-mode
David Aspinall
2007-04-23
|
*
Fixed a parenthesis, suggested by Stefan Monnier.
Pierre Courtieu
2007-04-16
|
*
Fix links to BUGS and FAQ
David Aspinall
2007-03-19
|
*
Set version tag for new release.
David Aspinall
2007-03-12
|
[next]