aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
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 ↵David Aspinall
replaces) proof-done-advancing: remove spurious first case proof-assert-until-point: don't move point, restore intuitive behaviour when on whitespace between unprocessed commands (process preceding commands only)
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 ↵David Aspinall
restriction.
2009-09-04Define a cleanup function to run intermittently or by hand, avoiding ↵David Aspinall
pg-remove-specials.
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2009-09-04Add proof-script-evaluate-elisp-comment-regexp security hole.David Aspinall
2009-09-04Require on scomint in right placeDavid Aspinall
2009-09-04proof-file-to-buffer -> find-buffer-visitingDavid Aspinall
2009-09-04proof-files-to-buffers, proof-locate-executable: simplifyDavid Aspinall
proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
2009-09-04Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-endDavid Aspinall
2009-09-04proof-looking-at-syntactic-context: moved to proof-utils because of macro useDavid Aspinall
2009-09-04proof-files-to-buffers, proof-locate-executable: simplifyDavid Aspinall
proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
2009-09-04Remove configuration of obsolete package function-menu (aka "fume")David Aspinall
2009-09-04Remove configuration of obsolete package function-menu (aka "fume")David Aspinall
2009-09-04Possible bug in interrupt signaling discoveredDavid Aspinall
2009-09-04capitalisationDavid Aspinall
2009-09-04Further simplificationDavid Aspinall
2009-09-04Simplify splash using view-mode and newer Emacs variables.David Aspinall
Remove timeout from About usage to avoid confusion with disappearing window with mouse events.
2009-09-04Refactoring point movement commands (in progress). Remove proof-no-command.David Aspinall
2009-09-04Remove proof-no-commandDavid Aspinall
2009-09-04commentDavid Aspinall
2009-09-04Use scomint instead of comintDavid Aspinall
2009-09-03Shorten startup messageDavid Aspinall
2009-09-01Set version tag for new release.David Aspinall
2009-09-01Remove some old X-Symbol references; update docs.David Aspinall
2009-09-01Comment about GNU Emacs portDavid Aspinall
2009-09-01Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where ↵Christophe Raffalli
proof-mode-for-script seems undefined
2009-08-31Unnecessary testDavid Aspinall
2009-08-31Update docsDavid Aspinall
2009-08-31Set version tag for new release.David Aspinall
2009-08-29Cleanup of interactive point moving functions (in progress)David Aspinall
2009-08-28pg-create-in-span-context-menu: fix nestingDavid Aspinall
2009-08-28Fix compile warningsDavid Aspinall
2009-08-28Update autoloadsDavid Aspinall
2009-08-28Set version tag for new release.David Aspinall
2009-08-28Clean up and rearrange variable declaration filesDavid Aspinall
2009-08-25Add menu entry for setting proof assistant commandDavid Aspinall
2009-08-20Doc tweaks via checkdoc.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 04:10:22 +0000