aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* tar -> $(TAR)Gravatar David Aspinall2009-09-21
* Remove redisplay function call for Emacs, seems unnecssary.Gravatar David Aspinall2009-09-21
* Add customize group unicode-tokens-options to faces top-level group.Gravatar David Aspinall2009-09-21
* Set version tag for new release.Gravatar David Aspinall2009-09-21
* UpdatedGravatar David Aspinall2009-09-21
* Add Hide/Show to extra modes menuGravatar David Aspinall2009-09-21
* Repair some of proof visibility handlingGravatar David Aspinall2009-09-21
* unicode-tokens-add-help-echo: add this customize optionGravatar David Aspinall2009-09-21
* Functions to add buttons to buffer (initial attempt)Gravatar David Aspinall2009-09-21
* Rearrange options, add customize user options to top level menuGravatar David Aspinall2009-09-21
* pg-identifier-near-point-query: make hover span have a high priorityGravatar David Aspinall2009-09-21
* Adjustments to better obey proof-follow-mode=ignoreGravatar David Aspinall2009-09-20
* proof-script-clear-queue-spans-on-error: jump to start of error spanGravatar David Aspinall2009-09-20
* pg-set-span-helphighlights: add hook to delete help highlightGravatar David Aspinall2009-09-20
* proof-unicode-tokens-enable: autoload so turning on Unicode tokens worksGravatar David Aspinall2009-09-20
* UpdatedGravatar David Aspinall2009-09-20
* unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayedGravatar David Aspinall2009-09-20
* Protect against error caseGravatar David Aspinall2009-09-20
* *** empty log message ***Gravatar David Aspinall2009-09-20
* *** empty log message ***Gravatar David Aspinall2009-09-20
* proof-cmdstart-add-segment-for-cmd: classify all whitespace as aGravatar David Aspinall2009-09-20
* *** empty log message ***Gravatar David Aspinall2009-09-17
* UpdatedGravatar David Aspinall2009-09-17
* NoteGravatar David Aspinall2009-09-17
* Added some more syntax keywords. Made admit tactic with its own redGravatar Pierre Courtieu2009-09-17
* Added some syntax keywords thanks to Mathieu Sozeau.Gravatar Pierre Courtieu2009-09-17
* Fixed error highlighting with utf8.Gravatar Pierre Courtieu2009-09-17
* Fix compile warningsGravatar David Aspinall2009-09-16
* Prevent warning on cl functions (cl functions called at runtimeGravatar David Aspinall2009-09-16
* Set version tag for new release.Gravatar David Aspinall2009-09-16
* Fix logic handling delayed callbacks and silent stop/startGravatar David Aspinall2009-09-16
* pg-last-output-displayform: protect against empty stringGravatar David Aspinall2009-09-16
* Fix back to defaultGravatar David Aspinall2009-09-15
* distcompile: don't ignore errors during compileGravatar David Aspinall2009-09-15
* UpdatedGravatar David Aspinall2009-09-15
* Fix docGravatar David Aspinall2009-09-15
* Update docsGravatar David Aspinall2009-09-15
* Describe make scriptsGravatar David Aspinall2009-09-15
* Default target: dont edit scriptsGravatar David Aspinall2009-09-15
* Remove errant ^AGravatar David Aspinall2009-09-15
* Set version tag for new release.Gravatar David Aspinall2009-09-15
* When calling proof-script-preprocess, fix starting position.Gravatar David Aspinall2009-09-15
* Fix highlighting of error regionGravatar David Aspinall2009-09-15
* Fix compile warningGravatar David Aspinall2009-09-15
* Prevent compile warningsGravatar David Aspinall2009-09-15
* Prevent compile warningGravatar David Aspinall2009-09-15
* Prevent many compile warningsGravatar David Aspinall2009-09-15
* Be strict about compile warningsGravatar David Aspinall2009-09-15
* Revert accidental commitGravatar David Aspinall2009-09-15
* Fix compile errorsGravatar David Aspinall2009-09-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 03:50:21 +0000