proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Set version tag for new release.	David Aspinall	2011-06-09
\|
*	Add autoload.	David Aspinall	2011-06-09
\|
*	- fix for #408: Only use the buffer name in	Hendrik Tews	2011-06-08
\| \| \| \| \|	coq-compile-response-buffer - fix typo elsewhere
*	Set version tag for new release.	David Aspinall	2011-06-07
\|
*	proof-undo-and-delete-last-successful-command: obey spec (Trac #407)	David Aspinall	2011-06-03
\|
*	Set version tag for new release.	David Aspinall	2011-06-01
\|
*	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-30
\| \| \| \|	avoid hitting read only error in calling command.
*	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-27
\|
*	proof-retract-before-change: fix Trac #403 (at least partially) by	David Aspinall	2011-05-26
\| \| \| \| \|	removing restriction during automatic retraction so proof-retract-until-point behaves correctly.
*	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 ↵	David Aspinall	2011-05-16
\| \| \| \|	http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000115.html.
*	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
\| \| \| \|	proof-last-edited-low-watermark.
*	Attempted fix for `proof-segment-up-to-using-cache', re	David Aspinall	2011-05-12
\| \| \| \|	http://proofgeneral.inf.ed.ac.uk/trac/ticket/395
*	- add ".vo", ".glob" to completion-ignored-extensions when Proof	Hendrik Tews	2011-05-12
\| \| \| \|	General is loaded
*	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
\| \| \| \| \|	proof-shell-require-command-regexp - TAGS updated to really flush them
*	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
\| \| \| \|	* more complete callback listing in proof-action list doc
*	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 ↵	David Aspinall	2011-04-13
\| \| \| \|	who read or edit by waving mouse at text
*	- change to proof-restart-buffers for unlocking ancestors	Hendrik Tews	2011-03-14
\| \| \| \|	- improve internal docs for unlocking
*	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 ↵	David Aspinall	2011-01-31
\| \| \| \|	defaults
*	Make proof-assistant-settings follow currently available dynamic settings, ↵	David Aspinall	2011-01-31
\| \| \| \|	and keep possibly customized variables bound. Closes Trac #387.
*	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
\| \| \| \| \|	list in it should be concatenated with (mapconcat 'identity COMMANDS " "), which is not the case proof-shell-insert.
*	proof-deactivate-scripting: cleanup this function to make more	David Aspinall	2011-01-25
\| \| \| \| \|	intelligible, also to properly support behaviour needed for `proof-no-fully-processed-buffer'.
*	proof-fast-process-buffer: set to t also on Windows.	David Aspinall	2011-01-25
\| \| \| \|	Untested, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/308
*	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
\| \| \| \| \|	expects normal prover IO. Addresses http://proofgeneral.inf.ed.ac.uk/trac/ticket/384
*	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
\| \| \| \| \|	now a list of functions to be run when the span is deleted. Use span-add-delete-action to add a delete action.