aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2007-12-14Cleanups with M-x checkdoc.David Aspinall
2007-12-14Fix matching of quoted regions with empty linesDavid Aspinall
2007-12-14More email -> trac renamesDavid Aspinall
2007-12-14Set version tag for new release.David Aspinall
2007-12-14Updated.David Aspinall
2007-12-14Updated.David Aspinall
2007-12-14Move x-symbol-isabelle -> x-symbol-isar to simplify setup.David Aspinall
2007-12-14Deleted fileDavid Aspinall
2007-12-14New files.David Aspinall
2007-12-14Typo in pg-special-char-regexpDavid Aspinall
2007-12-14Add compilation dependencyDavid Aspinall
2007-12-14Fix compilation problems and rearrange startup settings for coq-prog-name,coq...David Aspinall
2007-12-14Updated.David Aspinall
2007-12-14Be stricter about byte compilation: compile separately and halt on errorsDavid Aspinall
2007-12-14Removed fileDavid 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-14x-symbol-isabelle-prepare-table: specialise to Isar (usefully removes depende...David Aspinall
2007-12-14Rename: proof-show-debug-messages -> proof-general-debug.David 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-14Remove eval-when, seems unreliableDavid Aspinall
2007-12-14Comments.David Aspinall
2007-12-14Munging with input/output encoding; try to make consistent.David Aspinall
2007-12-14Add note about x-symbol-set-face-font for emacs22uDavid Aspinall
2007-12-14Clarify error messages during compileDavid Aspinall
2007-12-14Remove response history (delay for 3.7.1). Promote speedbarDavid Aspinall
2007-12-14Attempt to fix compile problemsDavid Aspinall
2007-12-14Updated.David Aspinall
2007-12-14Improve loading; these tests are not functioning yetDavid Aspinall
2007-12-14Add eval-whenDavid Aspinall
2007-12-14Prevent compile error on atomic-extentsDavid Aspinall
2007-12-14coq-goal-command-str-p: Fix suspected typo shown up by compile warning.David Aspinall
2007-12-14Remove overriding BYTECOMP definitionDavid Aspinall
2007-12-14Make value of pg-special-char-regexp depend on proof-shell-unicode.David 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-13Improvements (widget sketch; modeline). Logic still faulty.David Aspinall
2007-12-13Updated.David Aspinall
2007-12-13Account for removed filesDavid Aspinall
2007-12-13holes-skeleton-end-hook: no action if mmm-inside-insert-by-key boundDavid Aspinall
2007-12-13mmm-insert-by-key: add an indicator to holes.el to prevent it adding holesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 13:35:59 +0000