aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* inline isar-long-id-stuffGravatar David Aspinall2009-09-29
* phox-find-and-forget: return a listGravatar David Aspinall2009-09-29
* Rename dec->keyword. Update doc for quail input language.Gravatar David Aspinall2009-09-28
* Set version tag for new release.Gravatar David Aspinall2009-09-28
* TypoGravatar David Aspinall2009-09-28
* Functions find-and-forget and count-undos now return lists of commandsGravatar David Aspinall2009-09-28
* Menu entry <PA>-set-command invisible when function undefined (not inactive)Gravatar David Aspinall2009-09-28
* pg-response-buffers-hint: only give hint when in default two-buffer modeGravatar David Aspinall2009-09-28
* Add markup for \<^const> control, complicate `isar-control-char-format-regexp...Gravatar David Aspinall2009-09-28
* Update docsGravatar David Aspinall2009-09-28
* Trace buffer: do not show this trace-output-regexp not setGravatar David Aspinall2009-09-27
* Rotate Output Buffers: do not show this if in three window modeGravatar David Aspinall2009-09-27
* Follow Upper Case Convention for menu entriesGravatar David Aspinall2009-09-27
* display_drafts, print_drafts: query to save bufferGravatar David Aspinall2009-09-27
* proof-save-this-buffer: addedGravatar David Aspinall2009-09-27
* Tweak hint textGravatar David Aspinall2009-09-27
* Put Display submenu first in Quick Options menuGravatar David Aspinall2009-09-27
* proof-display-three-b: avoid giving strange behaviour if some buffers are not...Gravatar David Aspinall2009-09-26
* Shorten menu nameGravatar David Aspinall2009-09-26
* Add pr to print state in case of linear_undo. See Trac #292.Gravatar David Aspinall2009-09-26
* Extended documentation for Tokens to explain layout control.Gravatar David Aspinall2009-09-25
* pg-toggle-element-visibility: Add back `redraw-frame' call, it *is*Gravatar David Aspinall2009-09-25
* More changesGravatar David Aspinall2009-09-21
* superdirGravatar David Aspinall2009-09-21
* Fix doc copy/clean.Gravatar David Aspinall2009-09-21
* Fix clean targetsGravatar David Aspinall2009-09-21
* Only distribute info file, not pdfGravatar David Aspinall2009-09-21
* UpdatesGravatar David Aspinall2009-09-21
* Add doc files and .elcs to distributed tarballGravatar David Aspinall2009-09-21
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 06:07:11 +0000