aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
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
2009-08-20proof-one-command-per-line: change default, use in proof-insert-pbp-command.David Aspinall
2009-08-20Documentation improvements.David Aspinall
2009-08-20proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywordsDavid Aspinall
2009-08-19proof-shell-insert: add scriptspan argument, to pass source positions to proo...David Aspinall
2009-08-19DocstringsDavid Aspinall
2009-08-19proof-splice-separator: ignore nil entries for convenienceDavid Aspinall
2009-08-19Bump yearDavid Aspinall
2009-08-18NoteDavid Aspinall
2009-08-17Set version tag for new release.David Aspinall
2009-08-17Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...David Aspinall
2009-08-17TidyDavid Aspinall
2009-08-17Fix proof-next-error key bindingDavid Aspinall
2009-08-17Update docDavid Aspinall
2009-08-17proof-looking-at-syntactic-context: allow proof assistantDavid Aspinall
2009-08-17Only move proof-overlay-arrow once it's got a position.David Aspinall
2009-08-17Move the overlay arrow backwards in case of edits above it whichDavid Aspinall
2009-08-14Start refactoring to support more sophisticated queue handling, by adding fla...David Aspinall
2009-08-14pg-last-output-displayform: add convenience functionDavid Aspinall
2009-08-14Add key binding for proof-query-identifierDavid Aspinall
2009-08-14pg-current-word-pos: add for convenience in identifier query functionDavid Aspinall
2009-08-14Tweak pg-identifier-near-point-query to add decoration to buffer.David Aspinall
2009-08-14Rename proof-shell-process-output -> proof-shell-classify-outputDavid Aspinall
2009-08-14Add identifier info command to toolbarDavid Aspinall
2009-08-14Add info command to toolbar, and re-enable command, interrupt, restart.David Aspinall
2009-08-13Set version tag for new release.David Aspinall
2009-08-13Add parser cache for proof-segment-up-to.David Aspinall
2009-08-13Add menu setting to set proof-strict-read-only to 'retractDavid Aspinall
2009-08-13proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache.David Aspinall
2009-08-12Add indirection for setting unicode tokens variables to add customize menu op...David Aspinall
2009-08-07Set version tag for new release.David Aspinall
2009-08-07Remove experimental setting. Define toggle function.David Aspinall
2009-08-07proof-full-annotation: change defaultDavid Aspinall
2009-08-07Fix parenoDavid Aspinall
2009-08-07Extend implementation of identifier-under-mouse (now pg-identifier-query)David Aspinall
2009-08-07Re-enable toolbar commands on main menu; add home iconDavid Aspinall
2009-08-07Rename lockedend -> homeDavid Aspinall
2009-08-07proof-colour-locked: complete implementationDavid Aspinall
2009-08-07rename: proof-full-decoration -> proof-full-annotationDavid Aspinall
2009-08-07rename: proof-full-decoration -> proof-full-annotationDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 21:39:26 +0000