| Age | Commit message (Expand) | Author |
|---|
| 2011-06-09 | Set version tag for new release. | David Aspinall |
| 2011-06-09 | Add autoload. | David Aspinall |
| 2011-06-08 | - fix for #408: Only use the buffer name in | Hendrik Tews |
| 2011-06-07 | Set version tag for new release. | David Aspinall |
| 2011-06-03 | proof-undo-and-delete-last-successful-command: obey spec (Trac #407) | David Aspinall |
| 2011-06-01 | Set version tag for new release. | David Aspinall |
| 2011-05-30 | Set version tag for new release. | David Aspinall |
| 2011-05-30 | Trac#403: wait for retraction to complete before returning, to | David Aspinall |
| 2011-05-27 | ensure (integerp proof-segment-up-to-cache-end), fixes Trac #404 | David Aspinall |
| 2011-05-27 | Set version tag for new release. | David Aspinall |
| 2011-05-26 | proof-retract-before-change: fix Trac #403 (at least partially) by | David Aspinall |
| 2011-05-16 | Set version tag for new release. | David Aspinall |
| 2011-05-16 | Update autogenerated files | David Aspinall |
| 2011-05-16 | Patch for Trac#400. | David Aspinall |
| 2011-05-16 | Clean up customization groups for defpacustom and defpgcustom. See http://li... | David Aspinall |
| 2011-05-12 | Set version tag for new release. | David Aspinall |
| 2011-05-12 | Update autoloads | David Aspinall |
| 2011-05-12 | Tweak for `proof-segment-up-to-using-cache': better handling of | David Aspinall |
| 2011-05-12 | Attempted fix for `proof-segment-up-to-using-cache', re | David Aspinall |
| 2011-05-12 | - add ".vo", ".glob" to completion-ignored-extensions when Proof | Hendrik Tews |
| 2011-05-06 | Version year | David Aspinall |
| 2011-05-05 | Set version tag for new release. | David Aspinall |
| 2011-05-05 | - flushed proof-done-advancing-require-function and | Hendrik Tews |
| 2011-04-26 | Set version tag for new release. | David Aspinall |
| 2011-04-26 | Fix for Trac #397. Needs some exercise. | David Aspinall |
| 2011-04-19 | * small doc fix | Hendrik Tews |
| 2011-04-15 | * fix overwriting setq coq-prog-name before loading Proof General | Hendrik Tews |
| 2011-04-13 | proof-shell-insert-hook: Clean docstring, addressing #396. | David Aspinall |
| 2011-04-13 | Add proof-output-tooltips option to turn off output highlighting for people w... | David Aspinall |
| 2011-03-14 | - change to proof-restart-buffers for unlocking ancestors | Hendrik Tews |
| 2011-03-09 | Set version tag for new release. | David Aspinall |
| 2011-02-23 | Set version tag for new release. | David Aspinall |
| 2011-02-14 | put coq compilation feature into coq settings menu | Hendrik Tews |
| 2011-01-31 | Set version tag for new release. | David Aspinall |
| 2011-01-31 | Only make settings commands for dynamic settings which differ from their defa... | David Aspinall |
| 2011-01-31 | Make proof-assistant-settings follow currently available dynamic settings, an... | David Aspinall |
| 2011-01-31 | Support mouse action on modeline indicator for scripting mode | David Aspinall |
| 2011-01-31 | Improve handling of dynamic preferences. Addresses Trac #387. | David Aspinall |
| 2011-01-31 | Improve hint messages; use proof mode keymap. | David Aspinall |
| 2011-01-31 | Comments | David Aspinall |
| 2011-01-31 | Improve handling of trace buffer and tracing slow mode. | David Aspinall |
| 2011-01-26 | Add pg-autotest-start to allow debug startup, which doesn't catch errors. | David Aspinall |
| 2011-01-26 | - more info on the elements of proof-action-list; the COMMANDS | Hendrik Tews |
| 2011-01-25 | proof-deactivate-scripting: cleanup this function to make more | David Aspinall |
| 2011-01-25 | proof-fast-process-buffer: set to t also on Windows. | David Aspinall |
| 2011-01-25 | Bump/relax version numbers. Error for <23, warning for minor version mismatch. | David Aspinall |
| 2011-01-25 | Set version tag for new release. | David Aspinall |
| 2011-01-25 | proof-shell-kill-function: use our own busy loop, as proof-shell-wait | David Aspinall |
| 2011-01-25 | Dump *Messages* and *PG Debug* into log file, they have useful info. | David Aspinall |
| 2011-01-24 | - change 'span-delete-action in 'span-delete-actions, which is | Hendrik Tews |
