proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Adjust handling of insertion of newlines before next command.	David Aspinall	2010-10-01
\|
*	pg-pbrpm-setup-span: backward-delete-char -> delete-char to fix Emacs 24 ↵	David Aspinall	2010-08-24
\| \| \| \|	compile warning
*	Checkdoc cleanups	David Aspinall	2010-08-08
\|
*	Cleanups for save-excursion to avoid warnings in latest Emacs versions	David Aspinall	2010-07-08
\|
*	Replace proof-locked-end -> proof-unprocessed-begin	David Aspinall	2009-11-30
\|
*	pg-pbrpm-run-command: use proof-insert-pbp-command	David Aspinall	2009-11-29
\|
*	Prevent compile warnings	David Aspinall	2009-09-15
\|
*	Experimental changes to queue several commands at once and to allow ↵	David Aspinall	2009-09-10
\| \| \| \|	pre-processing of commands when they're queued from script
*	Clean compile	David Aspinall	2009-09-10
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Comment about GNU Emacs port	David Aspinall	2009-09-01
\|
*	Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where ↵	Christophe Raffalli	2009-09-01
\| \| \| \|	proof-mode-for-script seems undefined
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Fix RCS tags	David Aspinall	2008-01-30
\|
*	Split define keys to match keymap files	David Aspinall	2008-01-17
\|
*	Cleanup compilation and documentation. Possible fix/break in ↵	David Aspinall	2008-01-16
\| \| \| \|	pg-pbrpm-get-region-info (only looked at START).
*	Many rearrangements for compatibility, efficient/correct compilation, ↵	David Aspinall	2008-01-15
\| \| \| \| \| \| \|	namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
*	Add compilation dependency	David Aspinall	2007-12-14
\|
*	GNU Emacs compat: buffer-substring	David Aspinall	2007-12-10
\|
*	Emacs compatibility/API updates: string-to-int -> string-to-number	David Aspinall	2007-12-10
\|
*	GNU Emacs: delete-backward-char needs an argument	David Aspinall	2007-12-10
\|
*	GNU Emacs: insert-string -> insert	David Aspinall	2007-12-10
\|
*	Fix use of erase-buffer for GNU Emacs	David Aspinall	2007-12-10
\|
*	back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ↵	Christophe Raffalli	2006-02-24
\| \| \| \|	imporvment in proof by contextual menu
*	bug fix	Christophe Raffalli	2005-10-20
\|
*	I do not remember \!	Christophe Raffalli	2005-09-19
\|
*	* empty log message *	Christophe Raffalli	2005-07-05
\|
*	* empty log message *	Christophe Raffalli	2005-02-09
\|
*	changes to pbrpm	Christophe Raffalli	2004-12-08
\|
*	work on proof by contextual menu for phox	Christophe Raffalli	2004-11-22
\|
*	added first (experimental) support for proof by contextual menu (pg-pbrpm.el)	Christophe Raffalli	2004-10-20