proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix most doc issues raised by (checkdoc)	Erik Martin-Dorel	2018-08-23
\|
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	make sure extra modes available	David Aspinall	2012-01-23
\|
*	Typo	David Aspinall	2009-09-06
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Reduce compiler warnings. Minor fixes.	David Aspinall	2008-01-16
\|
*	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).
*	Comments.	David Aspinall	2004-04-15
\|
*	More elaborate error messages in proof-easy-config-check-setup.	David Aspinall	2004-04-02
\|
*	Add proof-assistant-symbol to (spurious) error msg	David Aspinall	2004-03-30
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Year changes	David Aspinall	2002-03-21
\|
*	Copyright date updated	David Aspinall	2001-05-08
\|
*	fixed comment;	Makarius Wenzel	2000-07-20
\|
*	Improve loading	David Aspinall	2000-05-09
\|
*	pbp-mode -> goals-mode	David Aspinall	2000-04-07
\|
*	Update copyright dates, comments.	David Aspinall	2000-04-04
\|
*	Added mechanism for setting font-lock-keywords uniformly from	David Aspinall	2000-03-10
\| \| \| \| \|	proof-script-font-lock-keywords, and modifying syntax table with proof-script-modify-syntax-table, etc.
*	Second version of easy-config, without defvaralias use.	David Aspinall	1999-11-16
\|
*	Working version of easy-config.	David Aspinall	1999-11-16
\|
*	Preliminary, not for 3.0.	David Aspinall	1999-11-16