aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2011-04-26Fix for Trac #397. Needs some exercise.David Aspinall
2011-04-19* small doc fixHendrik Tews
2011-04-15* fix overwriting setq coq-prog-name before loading Proof GeneralHendrik Tews
2011-04-13proof-shell-insert-hook: Clean docstring, addressing #396.David Aspinall
2011-04-13Add proof-output-tooltips option to turn off output highlighting for people w...David Aspinall
2011-03-14- change to proof-restart-buffers for unlocking ancestorsHendrik Tews
2011-03-09Set version tag for new release.David Aspinall
2011-02-23Set version tag for new release.David Aspinall
2011-02-14put coq compilation feature into coq settings menuHendrik Tews
2011-01-31Set version tag for new release.David Aspinall
2011-01-31Only make settings commands for dynamic settings which differ from their defa...David Aspinall
2011-01-31Make proof-assistant-settings follow currently available dynamic settings, an...David Aspinall
2011-01-31Support mouse action on modeline indicator for scripting modeDavid Aspinall
2011-01-31Improve handling of dynamic preferences. Addresses Trac #387.David Aspinall
2011-01-31Improve hint messages; use proof mode keymap.David Aspinall
2011-01-31CommentsDavid Aspinall
2011-01-31Improve handling of trace buffer and tracing slow mode.David Aspinall
2011-01-26Add 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 COMMANDSHendrik Tews
2011-01-25proof-deactivate-scripting: cleanup this function to make moreDavid Aspinall
2011-01-25proof-fast-process-buffer: set to t also on Windows.David Aspinall
2011-01-25Bump/relax version numbers. Error for <23, warning for minor version mismatch.David Aspinall
2011-01-25Set version tag for new release.David Aspinall
2011-01-25proof-shell-kill-function: use our own busy loop, as proof-shell-waitDavid Aspinall
2011-01-25Dump *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 isHendrik Tews
2011-01-24Set version tag for new release.David Aspinall
2011-01-23TypoDavid Aspinall
2011-01-23proof-shell-exit: mention quit command and quit timeout in docDavid Aspinall
2011-01-23Make proof-shell-quit-timeout a prover-specific customize option, default to ...David Aspinall
2011-01-23proof-protected-process-or-retract: don't give failure error if nothing to doDavid Aspinall
2011-01-23Save the log file without querying user on exitDavid Aspinall
2011-01-23Kill prover process without asking on Emacs exitDavid Aspinall
2011-01-23Fix typoDavid Aspinall
2011-01-19pg-create-in-span-context-menu: remove "Move up" and "Move down".David Aspinall
2011-01-19pg-show-all-portions: protect against empty hash tablesDavid Aspinall
2011-01-19Set version tag for new release.David Aspinall
2011-01-18- fixed stale load path problem with killing the proof shell inHendrik Tews
2011-01-18Localise compilation fix for dynamic scope of `queueitems\'.David Aspinall
2011-01-18- fixed compilation errorsHendrik Tews
2011-01-18- fix broken external compilationHendrik Tews
2011-01-18Removing a debugging message.Pierre Courtieu
2011-01-18Set version tag for new release.David Aspinall
2011-01-14- move proof-no-fully-processed-buffer to generic/proof-configHendrik Tews
2011-01-14- simple backward compatible change to invoke a function toHendrik Tews
2011-01-12Add preliminary support for multiple files for coq.Hendrik Tews
2011-01-12Set version tag for new release.David Aspinall
2011-01-12Remove commentDavid Aspinall
2011-01-12Type-check on integer settingsDavid Aspinall
2011-01-12Fix quoting in 'float patch.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:31:40 +0000