| Commit message (Expand) | Author | Age |
* | Patch for Trac#400. | David Aspinall | 2011-05-16 |
* | Clean up customization groups for defpacustom and defpgcustom. See http://li... | David Aspinall | 2011-05-16 |
* | 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-12 |
* | Version year | David Aspinall | 2011-05-06 |
* | Set version tag for new release. | David Aspinall | 2011-05-05 |
* | - flushed proof-done-advancing-require-function and | Hendrik Tews | 2011-05-05 |
* | Set version tag for new release. | David Aspinall | 2011-04-26 |
* | Fix for Trac #397. Needs some exercise. | David Aspinall | 2011-04-26 |
* | * small doc fix | Hendrik Tews | 2011-04-19 |
* | * fix overwriting setq coq-prog-name before loading Proof General | Hendrik Tews | 2011-04-15 |
* | 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-04-13 |
* | - change to proof-restart-buffers for unlocking ancestors | Hendrik Tews | 2011-03-14 |
* | Set version tag for new release. | David Aspinall | 2011-03-09 |
* | Set version tag for new release. | David Aspinall | 2011-02-23 |
* | put coq compilation feature into coq settings menu | Hendrik Tews | 2011-02-14 |
* | 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-31 |
* | 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-26 |
* | 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-25 |
* | - change 'span-delete-action in 'span-delete-actions, which is | Hendrik Tews | 2011-01-24 |
* | Set version tag for new release. | David Aspinall | 2011-01-24 |
* | Typo | David Aspinall | 2011-01-23 |
* | proof-shell-exit: mention quit command and quit timeout in doc | David Aspinall | 2011-01-23 |
* | Make proof-shell-quit-timeout a prover-specific customize option, default to ... | David Aspinall | 2011-01-23 |
* | proof-protected-process-or-retract: don't give failure error if nothing to do | David Aspinall | 2011-01-23 |
* | Save the log file without querying user on exit | David Aspinall | 2011-01-23 |
* | Kill prover process without asking on Emacs exit | David Aspinall | 2011-01-23 |
* | Fix typo | David Aspinall | 2011-01-23 |
* | pg-create-in-span-context-menu: remove "Move up" and "Move down". | David Aspinall | 2011-01-19 |
* | pg-show-all-portions: protect against empty hash tables | David Aspinall | 2011-01-19 |
* | Set version tag for new release. | David Aspinall | 2011-01-19 |
* | - fixed stale load path problem with killing the proof shell in | Hendrik Tews | 2011-01-18 |
* | Localise compilation fix for dynamic scope of `queueitems\'. | David Aspinall | 2011-01-18 |