aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Add template auto-insert hookGravatar David Aspinall2009-09-07
* Calculate token match regexp in a more complex way in an attempt toGravatar David Aspinall2009-09-07
* UpdatedGravatar David Aspinall2009-09-06
* Prevent compiler warningsGravatar David Aspinall2009-09-06
* Fix compile warnings, remove some XEmacs-ismsGravatar David Aspinall2009-09-06
* Obsolete filesGravatar David Aspinall2009-09-06
* proof-buffer-syntactic-context-emulate: use caching syntax-ppssGravatar David Aspinall2009-09-06
* TypoGravatar David Aspinall2009-09-06
* Prevent compile warningsGravatar David Aspinall2009-09-06
* Avoid easy-menu-define macroGravatar David Aspinall2009-09-06
* WhitespaceGravatar David Aspinall2009-09-06
* UpdatedGravatar David Aspinall2009-09-06
* UpdatedGravatar David Aspinall2009-09-06
* Remove unused subterm markup codeGravatar David Aspinall2009-09-06
* Configuration changes for shell mode revision.Gravatar David Aspinall2009-09-06
* Move holes menu to holes modeGravatar David Aspinall2009-09-06
* UpdatedGravatar David Aspinall2009-09-06
* Make sure proof-shell-last-output is non-nilGravatar David Aspinall2009-09-06
* pg-add-element: unbound var in debugGravatar David Aspinall2009-09-06
* Make sure proof-shell-last-output, proof-shell-last-prompt andGravatar David Aspinall2009-09-06
* Reorganisation to avoid generating many intermediate strings fromGravatar David Aspinall2009-09-06
* Include macros for compileGravatar David Aspinall2009-09-06
* Compile with cl. Fix typo.Gravatar David Aspinall2009-09-06
* proof-clean-buffer: inhibit read onlyGravatar David Aspinall2009-09-06
* Change type of proof-shell-process-file, proof-shell-compute-new-files-listGravatar David Aspinall2009-09-06
* Fix compile warningsGravatar David Aspinall2009-09-06
* Remove noweb file, seems buggy.Gravatar David Aspinall2009-09-06
* Add after save hook and convenient key binding to compile on saveGravatar David Aspinall2009-09-06
* Supress spurious warningsGravatar David Aspinall2009-09-06
* More defun->defsubst changesGravatar David Aspinall2009-09-06
* span-mapc-spans for span-delete-spansGravatar David Aspinall2009-09-06
* Rearrange for scopingGravatar David Aspinall2009-09-06
* Tweak point movement in `proof-assert-until-point' andGravatar David Aspinall2009-09-06
* Rearrange some of point movement code for following scripting.Gravatar David Aspinall2009-09-06
* pg-xml-parse-buffer: generalise to take region arguments.Gravatar David Aspinall2009-09-06
* Clarify that eager message matches are now anchoredGravatar David Aspinall2009-09-06
* Remove use-specials-for-fontifyGravatar David Aspinall2009-09-06
* pg-response-maybe-erase: inhibit read onlyGravatar David Aspinall2009-09-06
* Bufhist erase when buffer writable.Gravatar David Aspinall2009-09-06
* Remove commentGravatar David Aspinall2009-09-06
* Doc fixes, and many defun -> defsubst to enhance compiled code.Gravatar David Aspinall2009-09-06
* Remove proof-shell-wakeup-char.Gravatar David Aspinall2009-09-06
* Remove proof-shell-wakeup-char, proof-shell-prompt-pattern.Gravatar David Aspinall2009-09-06
* Add menu moved from Coq menu. Make deactivating holes-mode forget all holes.Gravatar David Aspinall2009-09-06
* Simplify by removing ability to deal with restrictionsGravatar David Aspinall2009-09-06
* Make holes-abbrev-complete obey status of minor mode.Gravatar David Aspinall2009-09-06
* Moved doc of holes to holes-modeGravatar David Aspinall2009-09-06
* Cleanup code and use define-minor-mode.Gravatar David Aspinall2009-09-06
* set-span-keymap: only override local map, not replace it.Gravatar David Aspinall2009-09-06
* Fix parenoGravatar David Aspinall2009-09-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 06:40:26 +0000