aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* `proof-shell-process-urgent-messages': fix to avoid duplicated messages (Trac...Gravatar David Aspinall2010-06-27
* Set version tag for new release.Gravatar David Aspinall2009-12-04
* docstringGravatar David Aspinall2009-12-04
* UpdatedGravatar David Aspinall2009-12-04
* Rework script span element hiding to avoid buffer-invisibility-spec. Add com...Gravatar David Aspinall2009-12-03
* Fix to last patch for face saving (untested still).Gravatar David Aspinall2009-12-02
* Better approximation of restoring old highlighting, by caching saved face.Gravatar David Aspinall2009-12-02
* Add proof-sticky-errors to quick options menu.Gravatar David Aspinall2009-12-02
* Set version tag for new release.Gravatar David Aspinall2009-12-01
* Remove mention of `proof-script-use-old-parser'.Gravatar David Aspinall2009-12-01
* proof-splice-separator -> mapconcat builtinGravatar David Aspinall2009-12-01
* UpdateGravatar David Aspinall2009-12-01
* Add keywords for possible benefit of finder package.Gravatar David Aspinall2009-12-01
* proof-ids-to-regexp: use regexp-opt, this seems reliable now.Gravatar David Aspinall2009-12-01
* fix proof-splice-separatorGravatar David Aspinall2009-12-01
* Fix for Trac #307.Gravatar David Aspinall2009-11-30
* Replace proof-locked-end -> proof-unprocessed-beginGravatar David Aspinall2009-11-30
* even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast*...Gravatar Makarius Wenzel2009-11-30
* pg-pbrpm-run-command: use proof-insert-pbp-commandGravatar David Aspinall2009-11-29
* raised proof-shell-quit-timeout to accomodate bulky write-back images;Gravatar Makarius Wenzel2009-11-29
* *** empty log message ***Gravatar David Aspinall2009-11-28
* Add new option `proof-sticky-errors'.Gravatar David Aspinall2009-11-28
* Remove doc mention of obsolete function `pg-assoc-analyse-structure'.Gravatar David Aspinall2009-11-28
* Add `proof-script-sticky-error-face' and `proof-script-highlight-error-face'.Gravatar David Aspinall2009-11-28
* Add `proof-script-sticky-error-face' and `proof-sticky-errors' setting.Gravatar David Aspinall2009-11-28
* reverse settings within each group, to prevent upside-down presentation;Gravatar Makarius Wenzel2009-11-24
* Set version tag for new release.Gravatar David Aspinall2009-11-12
* Set version tag for new release.Gravatar David Aspinall2009-10-16
* proof-script-use-old-parser: remove configuration option and cleanupGravatar 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
* Remove `next-entity' settings for func-menu.Gravatar 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
* 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
* proof-retract-before-change: give error if prover busyGravatar David Aspinall2009-10-02
* Clean up hints about buffer displayGravatar David Aspinall2009-09-29
* Set version tag for new release.Gravatar David Aspinall2009-09-29
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 08:30:02 +0000