proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	Updated	David Aspinall	2011-04-13
*	Add proof-output-tooltips option to turn off output highlighting for people w...	David Aspinall	2011-04-13
*	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
*	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
*	- 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
*	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 fo...	David Aspinall	2011-01-31
*	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 defa...	David Aspinall	2011-01-31
*	auto-solve -> auto-solve-direct for Isabelle2011.	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
*	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
*	- mark new coq specific variables as safe	Hendrik Tews	2011-01-28
*	Clean coq goals buffer when backing to a non-proof state, otherwise	Pierre Courtieu	2011-01-28
*	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
*	- fix 1 second problem	Hendrik Tews	2011-01-26
*	- fix problem description	Hendrik Tews	2011-01-26
*	proof-deactivate-scripting: cleanup this function to make more	David Aspinall	2011-01-25
*	Remove semis	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
*	Remove debug messages	David Aspinall	2011-01-25
*	- unlock files when retracting a Require command (implemented via	Hendrik Tews	2011-01-25
*	Set version tag for new release.	David Aspinall	2011-01-25
*	Note recent changes	David Aspinall	2011-01-25