proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Attempt to support stricter bytecomp warnings	David Aspinall	2011-10-17
\|
*	Remove dependency of pg-movie on pg-user	David Aspinall	2011-10-17
\|
*	Outline required compile and run	David Aspinall	2011-10-17
\|
*	Require cl only during compile	David Aspinall	2011-10-17
\|
*	Bump doc version numbers to 4.2pre.	David Aspinall	2011-10-14
\|
*	Set version tag for new release.	David Aspinall	2011-10-13
\|
*	Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵	David Aspinall	2011-10-13
\| \| \| \|	interactive-p with called-interactively-p)
*	Update for 4.2 cycle	David Aspinall	2011-10-13
\|
*	To fix pgshell mode, restore proof-shell-insert support for a single string ↵	David Aspinall	2011-10-13
\| \| \| \|	argument and allow nil setting for proof-shell-start-goals-regexp.
*	Updated.	David Aspinall	2011-10-13
\|
*	Note on how to update base revision number (since I got it wrong on first try)	David Aspinall	2011-10-13
\|
*	Update base revision number for 4.2 development cycle	David Aspinall	2011-10-13
\|
*	Update base revision number for 4.2 development cycle	David Aspinall	2011-10-13
\|
*	Set version tag for new release.	David Aspinall	2011-10-03
\|
*	Update dates and versions	David Aspinall	2011-10-03
\|
*	Remove some non-existent ignored files	David Aspinall	2011-10-03
\|
*	Move a comment to docstring	David Aspinall	2011-10-03
\|
*	updated tests to Isabelle2011-1;	Makarius Wenzel	2011-09-28
\|
*	fix #426	Hendrik Tews	2011-09-27
\|
*	fix coqdep warning treated as error (library occurring at	Hendrik Tews	2011-09-23
\| \| \| \|	multiple places in load-path)
*	fix doc for coq -R patch	Hendrik Tews	2011-09-19
\|
*	Clean up a little bit, adding extra syntax to make buffer process fully.	David Aspinall	2011-09-19
\|
*	Set version tag for new release.	David Aspinall	2011-09-19
\|
*	Several improvements:	David Aspinall	2011-09-19
\| \| \| \| \| \| \| \|	- explain how to use prefix commands for electric terminator as well as C-q - update explanation of locked region and read only options - explain colouring of modeline Scripting indicator - improve document-centred explanation, giving short-cut commands first - correct several uses of main menu "Proof General" to "Proof-General" with hyphen
*	proof-full-annotation: default to nil	David Aspinall	2011-09-18
\|
*	brute-force method to enable tool-bar-mode, which is especially important on ↵	Makarius Wenzel	2011-09-17
\| \| \| \|	GNU Emacs for Mac OS X (change was already present in Isabelle2011);
*	Set version tag for new release.	David Aspinall	2011-09-16
\|
*	Tweak to Emacs package building	David Aspinall	2011-09-16
\|
*	fix widget descriptions of coq-load-path	Hendrik Tews	2011-09-15
\|
*	-add support for -R and -I -as in coq-load-path	Hendrik Tews	2011-09-15
\| \| \| \|	-improve documentation (and reorder stuff)
*	fix #421 with solution 1	Hendrik Tews	2011-09-14
\|
*	proof-electric-terminator: allow a prefix argument to avoid electric action.	David Aspinall	2011-09-14
\| \| \| \|	Addresses Trac #422
*	# User Robin Green <greenrd@greenrd.org>	David Aspinall	2011-09-14
\| \| \| \|	Use correct customisation widget for variable-length list of strings
*	Fix typo	David Aspinall	2011-09-14
\|
*	Remove contentious call to set-process-query-on-exit-flag, ref Trac#424	David Aspinall	2011-09-14
\|
*	Add another contributor.	David Aspinall	2011-09-14
\|
*	Fix proof-shell-exit optional argument with (interactive) thanks to	Pierre Courtieu	2011-09-11
\| \| \| \|	Erik Martin-Dorel.
*	fix documentation error	Hendrik Tews	2011-09-09
\|
*	Fix trac #420 indentation freezing.	Pierre Courtieu	2011-09-04
\|
*	some local buffer properties;	Makarius Wenzel	2011-09-04
\|
*	Add suggestion for Q2 from Esben Andreasen to check comint-process-echoes.	David Aspinall	2011-08-31
\|
*	clarified isar-improper-regexp -- "prems" is already reported as legacy by ↵	Makarius Wenzel	2011-08-31
\| \| \| \|	the prover (after Isabelle2011);
*	Non Unicode char	David Aspinall	2011-08-29
\|
*	Capitalize menu items	David Aspinall	2011-08-24
\|
*	Set version tag for new release.	David Aspinall	2011-08-24
\|
*	eval-when-compile -> eval-when (compile) to avoid defvar coq-prog-name	David Aspinall	2011-08-24
\| \| \| \|	overriding setting in coq.el
*	Remove PG prefix from toolbar button names (needed for disambiguity in older ↵	David Aspinall	2011-08-23
\| \| \| \|	Emacsen, displayed in Emacs 24 UI)
*	Add back annotation for docstring for texinfo	David Aspinall	2011-08-23
\|
*	Update magic	David Aspinall	2011-08-23
\|
*	Set version tag for new release.	David Aspinall	2011-08-23
\|