aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* Attempted fix for `proof-segment-up-to-using-cache', reGravatar David Aspinall2011-05-12
* - add ".vo", ".glob" to completion-ignored-extensions when ProofGravatar Hendrik Tews2011-05-12
* Version yearGravatar David Aspinall2011-05-06
* Set version tag for new release.Gravatar David Aspinall2011-05-05
* - flushed proof-done-advancing-require-function andGravatar Hendrik Tews2011-05-05
* Set version tag for new release.Gravatar David Aspinall2011-04-26
* Fix for Trac #397. Needs some exercise.Gravatar David Aspinall2011-04-26
* * small doc fixGravatar Hendrik Tews2011-04-19
* * fix overwriting setq coq-prog-name before loading Proof GeneralGravatar Hendrik Tews2011-04-15
* proof-shell-insert-hook: Clean docstring, addressing #396.Gravatar David Aspinall2011-04-13
* Add proof-output-tooltips option to turn off output highlighting for people w...Gravatar David Aspinall2011-04-13
* - change to proof-restart-buffers for unlocking ancestorsGravatar Hendrik Tews2011-03-14
* Set version tag for new release.Gravatar David Aspinall2011-03-09
* Set version tag for new release.Gravatar David Aspinall2011-02-23
* put coq compilation feature into coq settings menuGravatar Hendrik Tews2011-02-14
* Set version tag for new release.Gravatar David Aspinall2011-01-31
* Only make settings commands for dynamic settings which differ from their defa...Gravatar David Aspinall2011-01-31
* Make proof-assistant-settings follow currently available dynamic settings, an...Gravatar David Aspinall2011-01-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 03:32:27 +0000