aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
This makes sure that stripping special characters from output is accurate.
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-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
2007-12-13Remvoe typoDavid Aspinall
2007-12-13Cleanup. Add more insertion commands.David Aspinall
2007-12-13Bind coqdoc-html to C-c % w to avoid clash with help key.David Aspinall
2007-12-13Comment the removal of the call to toggle-enable-multibyte-characters.David Aspinall
2007-12-13New files.David Aspinall
2007-12-13New files.David Aspinall
2007-12-13Deleted fileDavid Aspinall
2007-12-13Updated.David Aspinall
2007-12-13Add GerwinDavid Aspinall
2007-12-13Add makarius=markusDavid Aspinall
2007-12-13Add assiaDavid Aspinall
2007-12-13Renamed fileDavid Aspinall
2007-12-13Updated.David Aspinall
2007-12-13Deleted fileDavid 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-12Fix antialisingDavid Aspinall
2007-12-12Fix icon sizes, antialisingDavid Aspinall
2007-12-12x-symbol-invisible-font: Prevent using invisible font if have got ↵David Aspinall
x-symbol-emacs-has-font-lock-with-props
2007-12-12Updated.David Aspinall
2007-12-12Deleted fileDavid Aspinall
2007-12-12Deleted fileDavid Aspinall
2007-12-12Deleted fileDavid Aspinall
2007-12-12Updated.David Aspinall
2007-12-12Deleted fileDavid Aspinall
2007-12-12Updated.David Aspinall
2007-12-12Updated.David Aspinall
2007-12-12Updated cropped imagesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 10:06:48 +0000