aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* Set version tag for new release.Gravatar David Aspinall2011-05-16
* Update autogenerated filesGravatar David Aspinall2011-05-16
* Patch for Trac#400.Gravatar David Aspinall2011-05-16
* Clean up customization groups for defpacustom and defpgcustom. See http://li...Gravatar David Aspinall2011-05-16
* Set version tag for new release.Gravatar David Aspinall2011-05-12
* Update autoloadsGravatar David Aspinall2011-05-12
* Tweak for `proof-segment-up-to-using-cache': better handling ofGravatar David Aspinall2011-05-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-27 13:03:40 +0000