proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
*	- fixed compilation errors	Hendrik Tews	2011-01-18
*	- fix broken external compilation	Hendrik Tews	2011-01-18
*	Removing a debugging message.	Pierre Courtieu	2011-01-18
*	Set version tag for new release.	David Aspinall	2011-01-18
*	- move proof-no-fully-processed-buffer to generic/proof-config	Hendrik Tews	2011-01-14
*	- simple backward compatible change to invoke a function to	Hendrik Tews	2011-01-14
*	Add preliminary support for multiple files for coq.	Hendrik Tews	2011-01-12
*	Set version tag for new release.	David Aspinall	2011-01-12
*	Remove comment	David Aspinall	2011-01-12
*	Type-check on integer settings	David Aspinall	2011-01-12
*	Fix quoting in 'float patch.	David Aspinall	2011-01-12
*	Add additional support for pgipfloat type	David Aspinall	2011-01-11
*	'float -> 'number	David Aspinall	2011-01-11
*	defpacustom: support for 'float type	David Aspinall	2011-01-11
*	Set version tag for new release.	David Aspinall	2010-12-16
*	Patch to add pgipfloat type.	David Aspinall	2010-12-16
*	Set version tag for new release.	David Aspinall	2010-12-10
*	Set version tag for new release.	David Aspinall	2010-11-25
*	Set version tag for new release.	David Aspinall	2010-11-03
*	proof-debug: fiddle with warning levels to make PG Debug buffer appear, set...	David Aspinall	2010-10-11