proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2011-10-17	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-14	Bump doc version numbers to 4.2pre.	David Aspinall

2011-10-13	Set version tag for new release.	David Aspinall

2011-10-13	Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵	David Aspinall
	interactive-p with called-interactively-p)
2011-10-13	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
	argument and allow nil setting for proof-shell-start-goals-regexp.
2011-10-13	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-03	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-09-28	updated tests to Isabelle2011-1;	Makarius Wenzel

2011-09-27	fix #426	Hendrik Tews

2011-09-23	fix coqdep warning treated as error (library occurring at	Hendrik Tews
	multiple places in load-path)
2011-09-19	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
	- 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
2011-09-18	proof-full-annotation: default to nil	David Aspinall

2011-09-17	brute-force method to enable tool-bar-mode, which is especially important on ↵	Makarius Wenzel
	GNU Emacs for Mac OS X (change was already present in Isabelle2011);
2011-09-16	Set version tag for new release.	David Aspinall

2011-09-16	Tweak to Emacs package building	David Aspinall

2011-09-15	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
	-improve documentation (and reorder stuff)
2011-09-14	fix #421 with solution 1	Hendrik Tews

2011-09-14	proof-electric-terminator: allow a prefix argument to avoid electric action.	David Aspinall
	Addresses Trac #422
2011-09-14	# User Robin Green <greenrd@greenrd.org>	David Aspinall
	Use correct customisation widget for variable-length list of strings
2011-09-14	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-11	Fix proof-shell-exit optional argument with (interactive) thanks to	Pierre Courtieu
	Erik Martin-Dorel.
2011-09-09	fix documentation error	Hendrik Tews

2011-09-04	Fix trac #420 indentation freezing.	Pierre Courtieu

2011-09-04	some local buffer properties;	Makarius Wenzel

2011-08-31	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
	the prover (after Isabelle2011);
2011-08-29	Non Unicode char	David Aspinall

2011-08-24	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
	overriding setting in coq.el
2011-08-23	Remove PG prefix from toolbar button names (needed for disambiguity in older ↵	David Aspinall
	Emacsen, displayed in Emacs 24 UI)
2011-08-23	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