aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2009-09-21Rearrange options, add customize user options to top level menuDavid Aspinall
2009-09-21pg-identifier-near-point-query: make hover span have a high priorityDavid Aspinall
and self-delete.
2009-09-20Adjustments to better obey proof-follow-mode=ignoreDavid Aspinall
2009-09-20proof-script-clear-queue-spans-on-error: jump to start of error spanDavid Aspinall
(if proof-follow-mode suggests following locked region)
2009-09-20pg-set-span-helphighlights: add hook to delete help highlightDavid Aspinall
on any edit (affects error spans and outdated help spans).
2009-09-20proof-unicode-tokens-enable: autoload so turning on Unicode tokens worksDavid Aspinall
2009-09-20UpdatedDavid Aspinall
2009-09-20unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayedDavid Aspinall
buffers to ensure font changes are seen (change for Mac)
2009-09-20Protect against error caseDavid Aspinall
2009-09-20*** empty log message ***David Aspinall
2009-09-20*** empty log message ***David Aspinall
2009-09-20proof-cmdstart-add-segment-for-cmd: classify all whitespace as aDavid Aspinall
comment, not a command.
2009-09-17*** empty log message ***David Aspinall
2009-09-17UpdatedDavid Aspinall
2009-09-17NoteDavid Aspinall
2009-09-17Added some more syntax keywords. Made admit tactic with its own redPierre Courtieu
culpabilizing face.
2009-09-17Added some syntax keywords thanks to Mathieu Sozeau.Pierre Courtieu
2009-09-17Fixed error highlighting with utf8.Pierre Courtieu
2009-09-16Fix compile warningsDavid Aspinall
2009-09-16Prevent warning on cl functions (cl functions called at runtimeDavid Aspinall
warning should not stop compilation).
2009-09-16Set version tag for new release.David Aspinall
2009-09-16Fix logic handling delayed callbacks and silent stop/startDavid Aspinall
2009-09-16pg-last-output-displayform: protect against empty stringDavid Aspinall
2009-09-15Fix back to defaultDavid Aspinall
2009-09-15distcompile: don't ignore errors during compileDavid Aspinall
2009-09-15UpdatedDavid Aspinall
2009-09-15Fix docDavid Aspinall
2009-09-15Update docsDavid Aspinall
2009-09-15Describe make scriptsDavid Aspinall
2009-09-15Default target: dont edit scriptsDavid Aspinall
2009-09-15Remove errant ^ADavid Aspinall
2009-09-15Set version tag for new release.David Aspinall
2009-09-15When calling proof-script-preprocess, fix starting position.David Aspinall
proof-assert-electric-terminator: restore expected behaviour with/without term.
2009-09-15Fix highlighting of error regionDavid Aspinall
2009-09-15Fix compile warningDavid Aspinall
2009-09-15Prevent compile warningsDavid Aspinall
2009-09-15Prevent compile warningDavid Aspinall
2009-09-15Prevent many compile warningsDavid Aspinall
2009-09-15Be strict about compile warningsDavid Aspinall
2009-09-15Revert accidental commitDavid Aspinall
2009-09-15Fix compile errorsDavid Aspinall
2009-09-14Adjust commentDavid Aspinall
2009-09-14Moved functionDavid Aspinall
2009-09-14Fix compile issuesDavid Aspinall
2009-09-14Surpress warnings for dynamic scopingDavid Aspinall
2009-09-14Remove proof-strict-read-only-toggle call (no longer defined, andDavid Aspinall
anyway wrong technique). Instead use inhibit-read-only to allow write in possibly read-only area.
2009-09-14span-give-warning: remove, unused.David Aspinall
span-write-warning: don't call FUN if inhibit-read-only.
2009-09-14proof-span-give-warning: no message if inhibit-read-only is setDavid Aspinall
2009-09-14Change mode namesDavid Aspinall
2009-09-14Fix compilation.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 21:25:11 +0000