aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* Support mouse action on modeline indicator for scripting modeGravatar David Aspinall2011-01-31
* Improve handling of dynamic preferences. Addresses Trac #387.Gravatar David Aspinall2011-01-31
* Improve hint messages; use proof mode keymap.Gravatar David Aspinall2011-01-31
* CommentsGravatar David Aspinall2011-01-31
* Improve handling of trace buffer and tracing slow mode.Gravatar David Aspinall2011-01-31
* Add pg-autotest-start to allow debug startup, which doesn't catch errors.Gravatar David Aspinall2011-01-26