proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Updated	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
*	typo	David Aspinall	2011-04-12
\|
*	* disable file safe when switching to new buffers for coq	Hendrik Tews	2011-04-06
\|
*	- 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
\|
*	- fixed XXX'es in coq.el	Hendrik Tews	2011-02-28
\|
*	- adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-doc	Hendrik Tews	2011-02-28
\|
*	Set version tag for new release.	David Aspinall	2011-02-23
\|
*	Support delete selection mode on remapped delete commands	David Aspinall	2011-02-23
\| \| \| \|	Update some of font alias choices.
*	- deleted old coq multiple file stuff	Hendrik Tews	2011-02-18
\|
*	put coq compilation feature into coq settings menu	Hendrik Tews	2011-02-14
\|
*	- properly display compilation error messages and enable M-x	Hendrik Tews	2011-02-02
\| \| \| \|	next-error (as far as possible)
*	Update with files from Isabelle2011 (no actual changes).	David Aspinall	2011-01-31
\|
*	New files.	David Aspinall	2011-01-31
\|
*	Deleted file	David Aspinall	2011-01-31
\|
*	proof-shell-theorem-dependency-list-regexp: change to match altered output ↵	David Aspinall	2011-01-31
\| \| \| \|	format.
*	Old debug setting	David Aspinall	2011-01-31
\|
*	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
*	auto-solve -> auto-solve-direct for Isabelle2011.	David Aspinall	2011-01-31
\|
*	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
\|
*	Note about declare-function	David Aspinall	2011-01-30
\|
*	Updated.	David Aspinall	2011-01-30
\|
*	Fix prover versions	David Aspinall	2011-01-30
\|
*	Deprecate Emacs 22.X	David Aspinall	2011-01-30
\|
*	- use low-level compilation interface for external coq	Hendrik Tews	2011-01-28
\| \| \| \|	compilation with our own customization variables
*	- mark new coq specific variables as safe	Hendrik Tews	2011-01-28
\| \| \| \|	- hint on per-directory local variables
*	Clean coq goals buffer when backing to a non-proof state, otherwise	Pierre Courtieu	2011-01-28
\| \| \| \| \|	the old goal was still displayed (and therefore the old number of goals too). Fixes trac #386.
*	added option -f FONT;	Makarius Wenzel	2011-01-27
\|
*	ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).	David Aspinall	2011-01-26
\|
*	Add autotest-start with debug for now	David Aspinall	2011-01-26
\|
*	Add autotest start	David Aspinall	2011-01-26
\|
*	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.
*	- fix 1 second problem	Hendrik Tews	2011-01-26
\| \| \| \|	- add limitations in the docs
*	- fix problem description	Hendrik Tews	2011-01-26
\|
*	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'.
*	Remove semis	David Aspinall	2011-01-25
\|
*	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
\|
*	Remove debug messages	David Aspinall	2011-01-25
\|
*	- unlock files when retracting a Require command (implemented via	Hendrik Tews	2011-01-25
\| \| \| \| \|	a span-delete-action and the 'coq-locked-ancestors property in the spans of Require commands)
*	Set version tag for new release.	David Aspinall	2011-01-25
\|
*	Note recent changes	David Aspinall	2011-01-25
\|