aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2009-09-07Only show splash message if noninteractiveDavid Aspinall
2009-09-07Remove load order tweak experimentDavid Aspinall
2009-09-07Nuke spurious warningDavid Aspinall
2009-09-07Update autoloadsDavid Aspinall
2009-09-07Attempt to handle splash buffer cleanly.David Aspinall
2009-09-07Requires processed more often (experiment)David Aspinall
2009-09-07Fix compile warningsDavid Aspinall
2009-09-07WhitespaceDavid Aspinall
2009-09-07(C) dateDavid Aspinall
2009-09-07mapcar -> dolistDavid Aspinall
2009-09-07Require cl for compilationDavid Aspinall
2009-09-07Missing requireDavid Aspinall
2009-09-07Fix typosDavid Aspinall
2009-09-06TypoDavid Aspinall
2009-09-06Avoid easy-menu-define macroDavid Aspinall
2009-09-06UpdatedDavid Aspinall
2009-09-06Make sure proof-shell-last-output is non-nilDavid Aspinall
2009-09-06pg-add-element: unbound var in debugDavid Aspinall
2009-09-06Make sure proof-shell-last-output, proof-shell-last-prompt andDavid Aspinall
2009-09-06Reorganisation to avoid generating many intermediate strings fromDavid Aspinall
2009-09-06Include macros for compileDavid Aspinall
2009-09-06Compile with cl. Fix typo.David Aspinall
2009-09-06proof-clean-buffer: inhibit read onlyDavid Aspinall
2009-09-06Change type of proof-shell-process-file, proof-shell-compute-new-files-listDavid Aspinall
2009-09-06Fix compile warningsDavid Aspinall
2009-09-06Tweak point movement in `proof-assert-until-point' andDavid Aspinall
2009-09-06Rearrange some of point movement code for following scripting.David Aspinall
2009-09-06pg-xml-parse-buffer: generalise to take region arguments.David Aspinall
2009-09-06Clarify that eager message matches are now anchoredDavid Aspinall
2009-09-06Remove use-specials-for-fontifyDavid Aspinall
2009-09-06pg-response-maybe-erase: inhibit read onlyDavid Aspinall
2009-09-06Bufhist erase when buffer writable.David Aspinall
2009-09-06Remove commentDavid Aspinall
2009-09-06Doc fixes, and many defun -> defsubst to enhance compiled code.David Aspinall
2009-09-06Remove proof-shell-wakeup-char.David Aspinall
2009-09-06DocsDavid Aspinall
2009-09-05Minor optDavid Aspinall
2009-09-05UpdateDavid Aspinall
2009-09-05pg-protected-undo: Use key remapping instead of hacking function valuesDavid Aspinall
2009-09-05CommentDavid Aspinall
2009-09-05proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo rep...David Aspinall
2009-09-05proof-allow-undo-in-read-only: change default to nil for new implementationDavid Aspinall
2009-09-05Add protected undoDavid Aspinall
2009-09-05Default `proof-full-annotation' to off to cause least surprise to upgradersDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-05Missing unused functionDavid Aspinall
2009-09-05Whitespaces and commentsDavid Aspinall
2009-09-04replace-in-string -> replace-regexp-in-stringDavid Aspinall
2009-09-04Simplify Info-directory handlingDavid Aspinall
2009-09-04Alternative implementation of pg-remove-specials which does not introduce res...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 06:52:11 +0000