aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2009-09-14Add outline-heading-alist setting. Fix compilation.David Aspinall
2009-09-14isar-outline-heading-alist: fix list formatDavid Aspinall
2009-09-14isar-outline-heading-alist: fix list formatDavid Aspinall
2009-09-14proof-imenu-enable: fix remove callDavid Aspinall
2009-09-14UpdatedDavid Aspinall
2009-09-14isar-outline-heading-alist: fix structureDavid Aspinall
2009-09-14proof-strict-read-only: Experimental change to defaultDavid Aspinall
2009-09-14DocDavid Aspinall
2009-09-14Propertize Scripting modeline indicator. Support error spans.David Aspinall
2009-09-14Move insert-electric-terminator here. Add experimental error spans. Doc ↵David Aspinall
improvements
2009-09-14Engage which-function mode with imenu. Move insert-electric-terminator to ↵David Aspinall
proof-script
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 11:53:55 +0000