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 (
Expand
)
Author
Age
*
Set version tag for new release.
David Aspinall
2007-12-14
*
Updated.
David Aspinall
2007-12-14
*
Add compilation dependency
David Aspinall
2007-12-14
*
Move x-symbol-language here
David Aspinall
2007-12-14
*
Cleanup coding system setting, comments
David Aspinall
2007-12-14
*
Move x-symbol-language to avoid eval of proof-assistant-symbol; move proof-fa...
David Aspinall
2007-12-14
*
proof-associated-windows: rewrite naively to remove proof-list-filter
David Aspinall
2007-12-14
*
Move proof-face-specs here, remove proof-list-filter
David Aspinall
2007-12-14
*
Rename: proof-show-debug-messages -> proof-general-debug.
David Aspinall
2007-12-14
*
Rename: proof-show-debug-messages -> proof-general-debug. Optimise pg-remove...
David Aspinall
2007-12-14
*
Rename: proof-show-debug-messages -> proof-general-debug
David Aspinall
2007-12-14
*
Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...
David Aspinall
2007-12-14
*
Add proof-shell-set-text-representation to disable multibyte characters in le...
David Aspinall
2007-12-14
*
Munging with input/output encoding; try to make consistent.
David Aspinall
2007-12-14
*
Remove response history (delay for 3.7.1). Promote speedbar
David Aspinall
2007-12-14
*
Improve loading; these tests are not functioning yet
David Aspinall
2007-12-14
*
Tune some comments. Remove annotations in processed text from
David Aspinall
2007-12-14
*
Prevent attempt to use on XEmacs
David Aspinall
2007-12-14
*
Add dynamic enable/disable function for proof-keep-response-history
David Aspinall
2007-12-13
*
Updated.
David Aspinall
2007-12-13
*
Remvoe typo
David Aspinall
2007-12-13
*
Comment the removal of the call to toggle-enable-multibyte-characters.
David Aspinall
2007-12-13
*
Complete maths menu addition
David Aspinall
2007-12-13
*
Remove qed/goal from toolbar; use info icon. Add maths-menu custom var.
David Aspinall
2007-12-13
*
Compatibility with coq trunk where some special symbols are removed.
Pierre Courtieu
2007-12-12
*
Additions for maths menu
David Aspinall
2007-12-12
*
New files.
David Aspinall
2007-12-12
*
Add undo command to context menu
David Aspinall
2007-12-12
*
Remove low color-depth images; use GNU Emacs-specific toolbar images
David Aspinall
2007-12-12
*
Comments.
David Aspinall
2007-12-10
*
Comments.
David Aspinall
2007-12-10
*
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 to...
David Aspinall
2007-12-09
*
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
[next]