aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2011-05-30Set version tag for new release.David Aspinall
2011-05-30Trac#403: wait for retraction to complete before returning, toDavid Aspinall
avoid hitting read only error in calling command.
2011-05-27ensure (integerp proof-segment-up-to-cache-end), fixes Trac #404David Aspinall
2011-05-27Set version tag for new release.David Aspinall
2011-05-26proof-retract-before-change: fix Trac #403 (at least partially) byDavid Aspinall
removing restriction during automatic retraction so proof-retract-until-point behaves correctly.
2011-05-16Set version tag for new release.David Aspinall
2011-05-16Update autogenerated filesDavid Aspinall
2011-05-16Patch for Trac#400.David Aspinall
2011-05-16Clean up customization groups for defpacustom and defpgcustom. See ↵David Aspinall
http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000115.html.
2011-05-12Set version tag for new release.David Aspinall
2011-05-12Update autoloadsDavid Aspinall
2011-05-12Tweak for `proof-segment-up-to-using-cache': better handling ofDavid Aspinall
proof-last-edited-low-watermark.
2011-05-12Attempted fix for `proof-segment-up-to-using-cache', reDavid Aspinall
http://proofgeneral.inf.ed.ac.uk/trac/ticket/395
2011-05-12- add ".vo", ".glob" to completion-ignored-extensions when ProofHendrik Tews
General is loaded
2011-05-06Version yearDavid Aspinall
2011-05-05Set version tag for new release.David Aspinall
2011-05-05- flushed proof-done-advancing-require-function andHendrik Tews
proof-shell-require-command-regexp - TAGS updated to really flush them
2011-04-26Set version tag for new release.David Aspinall
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
* more complete callback listing in proof-action list doc
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 ↵David Aspinall
who read or edit by waving mouse at text
2011-03-14- change to proof-restart-buffers for unlocking ancestorsHendrik Tews
- improve internal docs for unlocking
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 ↵David Aspinall
defaults
2011-01-31Make proof-assistant-settings follow currently available dynamic settings, ↵David Aspinall
and keep possibly customized variables bound. Closes Trac #387.
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
list in it should be concatenated with (mapconcat 'identity COMMANDS " "), which is not the case proof-shell-insert.
2011-01-25proof-deactivate-scripting: cleanup this function to make moreDavid Aspinall
intelligible, also to properly support behaviour needed for `proof-no-fully-processed-buffer'.
2011-01-25proof-fast-process-buffer: set to t also on Windows.David Aspinall
Untested, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/308
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
expects normal prover IO. Addresses http://proofgeneral.inf.ed.ac.uk/trac/ticket/384
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
now a list of functions to be run when the span is deleted. Use span-add-delete-action to add a delete action.
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
45 for Isar. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/384.
2011-01-23proof-protected-process-or-retract: don't give failure error if nothing to doDavid Aspinall
Addresses Trac #383
2011-01-23Save the log file without querying user on exitDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 13:38:44 +0000