aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2012-01-10
* Tweak message and display model, in particular, make sure that when aGravatar David Aspinall2012-01-10
* Improve configuration for HOL Light. Allow goals display to be prefixed by i...Gravatar David Aspinall2012-01-09
* proof-shell-end-goals-regexp doc: fix inaccuracy, goals always startGravatar David Aspinall2012-01-09
* Temporarily enable HOL Light globally for testingGravatar David Aspinall2012-01-05
* * fix case where some existential is instantiated with the last proof commandGravatar Hendrik Tews2012-01-04
* Set version tag for new release.Gravatar David Aspinall2012-01-04
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
* Set version tag for new release.Gravatar David Aspinall2011-12-07
* - protect proof-shell-handle-delayed-output against the case whereGravatar Hendrik Tews2011-12-07
* fix a log of broken customization typesGravatar Hendrik Tews2011-12-06
* use the start of proof-shell-end-goals-regexp, as documentedGravatar Hendrik Tews2011-12-06
* Quick stab at support for switching to proof shell when interactive support e...Gravatar David Aspinall2011-11-15
* Add fix and regression test for Trac #138Gravatar David Aspinall2011-10-17
* Set version tag for new release.Gravatar David Aspinall2011-10-17
* Attempt to support stricter bytecomp flagsGravatar David Aspinall2011-10-17
* Remove dependency of pg-movie on pg-userGravatar David Aspinall2011-10-17
* Set version tag for new release.Gravatar David Aspinall2011-10-13
* Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...Gravatar David Aspinall2011-10-13
* To fix pgshell mode, restore proof-shell-insert support for a single string a...Gravatar David Aspinall2011-10-13
* Set version tag for new release.Gravatar David Aspinall2011-10-03
* fix #426Gravatar Hendrik Tews2011-09-27
* Set version tag for new release.Gravatar David Aspinall2011-09-19
* proof-full-annotation: default to nilGravatar David Aspinall2011-09-18
* Set version tag for new release.Gravatar David Aspinall2011-09-16
* fix #421 with solution 1Gravatar Hendrik Tews2011-09-14
* proof-electric-terminator: allow a prefix argument to avoid electric action.Gravatar David Aspinall2011-09-14
* # User Robin Green <greenrd@greenrd.org>Gravatar David Aspinall2011-09-14
* Fix typoGravatar David Aspinall2011-09-14
* Remove contentious call to set-process-query-on-exit-flag, ref Trac#424Gravatar David Aspinall2011-09-14
* Fix proof-shell-exit optional argument with (interactive) thanks toGravatar Pierre Courtieu2011-09-11
* Capitalize menu itemsGravatar David Aspinall2011-08-24
* Set version tag for new release.Gravatar David Aspinall2011-08-24
* Remove PG prefix from toolbar button names (needed for disambiguity in older ...Gravatar David Aspinall2011-08-23
* Set version tag for new release.Gravatar David Aspinall2011-08-23
* Set version tag for new release.Gravatar David Aspinall2011-06-22
* Set version tag for new release.Gravatar David Aspinall2011-06-22
* Set version tag for new release.Gravatar David Aspinall2011-06-10
* Set version tag for new release.Gravatar David Aspinall2011-06-10
* Set version tag for new release.Gravatar David Aspinall2011-06-09
* Add autoload.Gravatar David Aspinall2011-06-09
* - fix for #408: Only use the buffer name inGravatar Hendrik Tews2011-06-08
* Set version tag for new release.Gravatar David Aspinall2011-06-07
* proof-undo-and-delete-last-successful-command: obey spec (Trac #407)Gravatar David Aspinall2011-06-03
* Set version tag for new release.Gravatar David Aspinall2011-06-01
* Set version tag for new release.Gravatar David Aspinall2011-05-30
* Trac#403: wait for retraction to complete before returning, toGravatar David Aspinall2011-05-30
* ensure (integerp proof-segment-up-to-cache-end), fixes Trac #404Gravatar David Aspinall2011-05-27
* Set version tag for new release.Gravatar David Aspinall2011-05-27
* proof-retract-before-change: fix Trac #403 (at least partially) byGravatar David Aspinall2011-05-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 12:20:32 +0000