aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2009-09-21Add doc files and .elcs to distributed tarballDavid Aspinall
2009-09-21tar -> $(TAR)David Aspinall
2009-09-21Remove redisplay function call for Emacs, seems unnecssary.David Aspinall
2009-09-21Add customize group unicode-tokens-options to faces top-level group.David Aspinall
2009-09-21Set version tag for new release.David Aspinall
2009-09-21UpdatedDavid Aspinall
2009-09-21Add Hide/Show to extra modes menuDavid Aspinall
2009-09-21Repair some of proof visibility handlingDavid Aspinall
2009-09-21unicode-tokens-add-help-echo: add this customize optionDavid Aspinall
2009-09-21Functions to add buttons to buffer (initial attempt)David Aspinall
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
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
2009-09-20pg-set-span-helphighlights: add hook to delete help highlightDavid Aspinall
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
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
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
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
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 23:48:37 +0000