aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2007-12-14More doc tidyDavid Aspinall
2007-12-14Remove ancient idea for proof-atomic-sequence-listsDavid Aspinall
2007-12-14Cleanups with M-x checkdoc.David Aspinall
2007-12-14Set version tag for new release.David Aspinall
2007-12-14Updated.David Aspinall
2007-12-14Add compilation dependencyDavid Aspinall
2007-12-14Move x-symbol-language hereDavid Aspinall
2007-12-14Cleanup coding system setting, commentsDavid Aspinall
2007-12-14Move x-symbol-language to avoid eval of proof-assistant-symbol; move proof-fa...David Aspinall
2007-12-14proof-associated-windows: rewrite naively to remove proof-list-filterDavid Aspinall
2007-12-14Move proof-face-specs here, remove proof-list-filterDavid Aspinall
2007-12-14Rename: proof-show-debug-messages -> proof-general-debug.David Aspinall
2007-12-14Rename: proof-show-debug-messages -> proof-general-debug. Optimise pg-remove...David Aspinall
2007-12-14Rename: proof-show-debug-messages -> proof-general-debugDavid Aspinall
2007-12-14Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...David Aspinall
2007-12-14Add proof-shell-set-text-representation to disable multibyte characters in le...David Aspinall
2007-12-14Munging with input/output encoding; try to make consistent.David Aspinall
2007-12-14Remove response history (delay for 3.7.1). Promote speedbarDavid Aspinall
2007-12-14Improve loading; these tests are not functioning yetDavid Aspinall
2007-12-14Tune some comments. Remove annotations in processed text fromDavid Aspinall
2007-12-14Prevent attempt to use on XEmacsDavid Aspinall
2007-12-13Add dynamic enable/disable function for proof-keep-response-historyDavid Aspinall
2007-12-13Updated.David Aspinall
2007-12-13Remvoe typoDavid Aspinall
2007-12-13Comment the removal of the call to toggle-enable-multibyte-characters.David Aspinall
2007-12-13Complete maths menu additionDavid Aspinall
2007-12-13Remove qed/goal from toolbar; use info icon. Add maths-menu custom var.David Aspinall
2007-12-12Compatibility with coq trunk where some special symbols are removed.Pierre Courtieu
2007-12-12Additions for maths menuDavid Aspinall
2007-12-12New files.David Aspinall
2007-12-12Add undo command to context menuDavid Aspinall
2007-12-12Remove low color-depth images; use GNU Emacs-specific toolbar imagesDavid Aspinall
2007-12-10Comments.David Aspinall
2007-12-10Comments.David Aspinall
2007-12-10Modify buffer-invisibility-spec to work smoothly with X-Symbol/EmacsDavid Aspinall
2007-12-10GNU Emacs compat: buffer-substringDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:58:14 +0000