aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2008-01-16Updated.David Aspinall
2008-01-15Tweak fix: it's *probably* not necessary in non-mule mode (needs testing onDavid Aspinall
non-mule Emacs).
2008-01-15proof-x-symbol-decode-region: add fontification to fix missing ↵David Aspinall
subscript/subscripts.
2008-01-15Comments.David Aspinall
2008-01-15Simplify font lock settings, removing proof-font-lock-case-fold-searchDavid Aspinall
2008-01-15Comments.David Aspinall
2008-01-15pg-response-display: use add-text-properties instead of ↵David Aspinall
font-lock-append-text-property [no behaviour change]
2008-01-15Before calling pg-response-display-with-face, strip eager annotation but not ↵David Aspinall
specials.
2008-01-15Documentation.David Aspinall
2008-01-15Fix cleaning minibuffer echo of urgent messages when proof-shell-unicode is ↵David Aspinall
set. Cleanup comments.
2008-01-15Set version tag for new release.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, ↵David Aspinall
namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
2008-01-15New files.David Aspinall
2008-01-15New files.David Aspinall
2008-01-14New files.David Aspinall
2008-01-05Deleted fileDavid Aspinall
2008-01-05Updated.David Aspinall
2008-01-05Deleted fileDavid Aspinall
2008-01-03Fixed something wrong. Probably a file missing (proof-system.el ?).Pierre Courtieu
2007-12-14Deleted fileDavid Aspinall
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 ↵David Aspinall
proof-face-specs to proof-utils
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 ↵David Aspinall
pg-remove-specials.
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 ↵David Aspinall
output.
2007-12-14Add proof-shell-set-text-representation to disable multibyte characters in ↵David Aspinall
legacy case. Use proof-shell-unicode to control whether bytes 128-255 are stripped from output.
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
shell buffer. Supports copy-and-paste, fixing trac #112.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 06:40:43 +0000