aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* proof-script-use-old-parser: remove configuration option and cleanupGravatar David Aspinall2009-10-15
* UpdatedGravatar David Aspinall2009-10-15
* Keep response and trace buffer read-only, except when changingGravatar David Aspinall2009-10-15
* proof-script-error-face: remove underlineGravatar David Aspinall2009-10-15
* Added keyboard shortcut in goals buffer.Gravatar Pierre Courtieu2009-10-15
* Remove `next-entity' settings for func-menu.Gravatar David Aspinall2009-10-14
* Remove function-menu settingGravatar David Aspinall2009-10-14
* Remove function-menu as promisedGravatar David Aspinall2009-10-14
* named entity needed for goal-with-holeGravatar David Aspinall2009-10-14
* Remove fume settingsGravatar David Aspinall2009-10-14
* WhitespaceGravatar David Aspinall2009-10-14
* Shorten commentsGravatar David Aspinall2009-10-14
* Set version tag for new release.Gravatar David Aspinall2009-10-06
* Start using new parser, adjusting isar-any-command-regexp.Gravatar David Aspinall2009-10-03
* proof-regexp-alt: use shy matchingGravatar David Aspinall2009-10-03
* proof-electric-terminator: check if inside a string/comment.Gravatar David Aspinall2009-10-03
* proof-script-generic-parse-cmdstart: set case-fold-searchGravatar David Aspinall2009-10-03
* proof-assert-electric-terminator: repair so works at end of bufferGravatar David Aspinall2009-10-03
* Some more tokensGravatar David Aspinall2009-10-02
* UpdatesGravatar David Aspinall2009-10-02
* Explain Unicode Tokens betterGravatar David Aspinall2009-10-02
* proof-retract-before-change: give error if prover busyGravatar David Aspinall2009-10-02
* unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones.Gravatar David Aspinall2009-10-01
* Update magicGravatar David Aspinall2009-09-30
* Unicode Tokens in own chapter. Remove some func menu stuffGravatar David Aspinall2009-09-30
* Conforming Menu TitlesGravatar David Aspinall2009-09-30
* Conforming Menu TitlesGravatar David Aspinall2009-09-30
* Clean up hints about buffer displayGravatar David Aspinall2009-09-29
* Set version tag for new release.Gravatar David Aspinall2009-09-29
* Documentation.Gravatar David Aspinall2009-09-29
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 22:30:02 +0000