aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Rename: proof-show-debug-messages -> proof-general-debug.Gravatar David Aspinall2007-12-14
* Rename: proof-show-debug-messages -> proof-general-debug.Gravatar David Aspinall2007-12-14
* Rename: proof-show-debug-messages -> proof-general-debug. Optimise pg-remove...Gravatar David Aspinall2007-12-14
* Rename: proof-show-debug-messages -> proof-general-debugGravatar David Aspinall2007-12-14
* Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...Gravatar David Aspinall2007-12-14
* Add proof-shell-set-text-representation to disable multibyte characters in le...Gravatar David Aspinall2007-12-14
* Remove eval-when, seems unreliableGravatar David Aspinall2007-12-14
* Comments.Gravatar David Aspinall2007-12-14
* Munging with input/output encoding; try to make consistent.Gravatar David Aspinall2007-12-14
* Add note about x-symbol-set-face-font for emacs22uGravatar David Aspinall2007-12-14
* Clarify error messages during compileGravatar David Aspinall2007-12-14
* Remove response history (delay for 3.7.1). Promote speedbarGravatar David Aspinall2007-12-14
* Attempt to fix compile problemsGravatar David Aspinall2007-12-14
* Updated.Gravatar David Aspinall2007-12-14
* Improve loading; these tests are not functioning yetGravatar David Aspinall2007-12-14
* Add eval-whenGravatar David Aspinall2007-12-14
* Prevent compile error on atomic-extentsGravatar David Aspinall2007-12-14
* coq-goal-command-str-p: Fix suspected typo shown up by compile warning.Gravatar David Aspinall2007-12-14
* Remove overriding BYTECOMP definitionGravatar David Aspinall2007-12-14
* Make value of pg-special-char-regexp depend on proof-shell-unicode.Gravatar David Aspinall2007-12-14
* Tune some comments. Remove annotations in processed text fromGravatar David Aspinall2007-12-14
* Prevent attempt to use on XEmacsGravatar David Aspinall2007-12-14
* Add dynamic enable/disable function for proof-keep-response-historyGravatar David Aspinall2007-12-13
* Updated.Gravatar David Aspinall2007-12-13
* Improvements (widget sketch; modeline). Logic still faulty.Gravatar David Aspinall2007-12-13
* Updated.Gravatar David Aspinall2007-12-13
* Account for removed filesGravatar David Aspinall2007-12-13
* holes-skeleton-end-hook: no action if mmm-inside-insert-by-key boundGravatar David Aspinall2007-12-13
* mmm-insert-by-key: add an indicator to holes.el to prevent it adding holesGravatar David Aspinall2007-12-13
* Remvoe typoGravatar David Aspinall2007-12-13
* Cleanup. Add more insertion commands.Gravatar David Aspinall2007-12-13
* Bind coqdoc-html to C-c % w to avoid clash with help key.Gravatar David Aspinall2007-12-13
* Comment the removal of the call to toggle-enable-multibyte-characters.Gravatar David Aspinall2007-12-13
* New files.Gravatar David Aspinall2007-12-13
* New files.Gravatar David Aspinall2007-12-13
* Deleted fileGravatar David Aspinall2007-12-13
* Updated.Gravatar David Aspinall2007-12-13
* Add GerwinGravatar David Aspinall2007-12-13
* Add makarius=markusGravatar David Aspinall2007-12-13
* Add assiaGravatar David Aspinall2007-12-13
* Renamed fileGravatar David Aspinall2007-12-13
* Updated.Gravatar David Aspinall2007-12-13
* Deleted fileGravatar David Aspinall2007-12-13
* Complete maths menu additionGravatar David Aspinall2007-12-13
* Remove qed/goal from toolbar; use info icon. Add maths-menu custom var.Gravatar David Aspinall2007-12-13
* Fix antialisingGravatar David Aspinall2007-12-12
* Fix icon sizes, antialisingGravatar David Aspinall2007-12-12
* x-symbol-invisible-font: Prevent using invisible font if have got x-symbol-em...Gravatar David Aspinall2007-12-12
* Updated.Gravatar David Aspinall2007-12-12
* Deleted fileGravatar David Aspinall2007-12-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 16:04:44 +0000