aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2009-08-17Move the overlay arrow backwards in case of edits above it whichDavid Aspinall
affect the next position to be processed.
2009-08-14Start refactoring to support more sophisticated queue handling, by adding ↵David Aspinall
flags to proof action list
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 ↵David Aspinall
options
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
2009-08-07Name changes and tweaks: proof-full-decoration -> proof-full-decoration,David Aspinall
proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command.
2009-08-06Prevent setting of proof-overlay-arrow if not configuredDavid Aspinall
2009-08-06New configuration variable proof-use-pgip-askprefs. Use setting group names ↵David Aspinall
in menu
2009-07-30Add overlay arrow ported from Kit.David Aspinall
2009-07-30Add proof-colour-locked option to leave locked region background uncoloured.David Aspinall
2009-07-30Update autoloadsDavid Aspinall
2009-07-30Use descriptions of help items to set menu tooltips (resolve trac #218)David Aspinall
2009-05-27Cleanup more Emacs compatibilityDavid Aspinall
2009-05-27Check unicode-tokens-mode is boundDavid Aspinall
2009-05-26Add proof state hover messages to proof script, along with useful customization.David Aspinall
2009-05-26Set version tag for new release.David Aspinall
2009-05-26proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obeyDavid Aspinall
proof-follow-mode=ignore. Ref http://proofgeneral.inf.ed.ac.uk/trac/ticket/187
2009-05-26Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor ↵David Aspinall
cleanups
2009-05-26Add proof-electric-terminator-noterminator behaviour for IsarDavid Aspinall
2009-05-26Revive sendback behaviour (using button1)David Aspinall
2009-05-25Set default value for `buffer-invisibility-spec'David Aspinall
2009-04-16Set version tag for new release.David Aspinall
2009-03-31recovered proof-shell-process-urgent-message, by re-introducing ↵Makarius Wenzel
commented-out parenthesis and refreshing formerly unreachable cases;
2008-12-05Set version tag for new release.David Aspinall
2008-09-19Set version tag for new release.David Aspinall
2008-08-06CommentDavid Aspinall
2008-08-03Fix type in calls to toggle functionsDavid Aspinall
2008-08-03Disable subterm markup removalDavid Aspinall
2008-08-03pg-response-display: disable subterm markup removalDavid Aspinall
2008-08-03Add links to splash menuDavid Aspinall
2008-08-03Make proof-locked-face much lighterDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 21:55:30 +0000