aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Resurrect autotest frameworkGravatar David Aspinall2010-08-03
* save-some-buffers: only offer to save proof script buffersGravatar David Aspinall2010-08-03
* proof-shell-wait, proof-shell-kill-function: avoid use of sit-for.Gravatar David Aspinall2010-08-03
* proof-deftoggle-fn: make ARG optional as suggested by docstringGravatar David Aspinall2010-08-03
* Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.Gravatar David Aspinall2010-08-03
* proof-full-annotation: default to t; advanced users may turn off.Gravatar David Aspinall2010-08-03
* Add pg-protected-undo improved version due to Erik Martin-DorelGravatar David Aspinall2010-08-02
* Set version tag for new release.Gravatar David Aspinall2010-07-08
* Cleanups for save-excursion to avoid warnings in latest Emacs versionsGravatar David Aspinall2010-07-08
* `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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 13:32:28 +0000