proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	adding the "Comments" keyword in state-preserving commands.	Pierre Courtieu	2004-05-11
\|
*	Set comment-quote-nested (for Emacs/XEmacs 21.5)	David Aspinall	2004-05-09
\|
*	added "User error" to error message (had already "User Error").	Pierre Courtieu	2004-05-07
\|
*	Updated.	David Aspinall	2004-05-07
\|
*	New files.	David Aspinall	2004-05-07
\|
*	bug fix with terminal regexp (pb with :"unfold foo in \|- *.")	Pierre Courtieu	2004-05-06
\|
*	fixed the need input_spec warning.	Pierre Courtieu	2004-04-23
\|
*	Adjust attempt at multiple file handling. Run make instead of coqc if find ↵	David Aspinall	2004-04-23
\| \| \| \|	a makefile. Begin handling requires.
*	Updated.	David Aspinall	2004-04-23
\|
*	modified the syntax for subscript in coq/pg	Pierre Courtieu	2004-04-23
\|
*	deleted coq x symbols doc in CHANGES.	Pierre Courtieu	2004-04-23
\|
*	Tidy menus, add new commands	David Aspinall	2004-04-22
\|
*	Add extra user options, extra commands, start of new attempt at multiple file.	David Aspinall	2004-04-22
\|
*	Update to Coq 8.0 syntax	David Aspinall	2004-04-22
\|
*	Updated.	David Aspinall	2004-04-21
\|
*	Fix home page address, mention new menu option.	David Aspinall	2004-04-21
\|
*	Update for V8 syntax.	David Aspinall	2004-04-21
\|
*	Updated.	David Aspinall	2004-04-21
\|
*	Deleted the "3 buffers view menu entry" for coq, this is now a	Pierre Courtieu	2004-04-21
\| \| \| \|	proofgeneral menu entry (bug of the 3.5 release).
*	Updated.	David Aspinall	2004-04-17
\|
*	Compiler warnings	David Aspinall	2004-04-17
\|
*	little fix for x-symbols coq.	Pierre Courtieu	2004-04-16
\|
*	modified the noteq token (become '<>' ).	Pierre Courtieu	2004-04-16
\|
*	added an example fils for coq x-symbols.	Pierre Courtieu	2004-04-16
\|
*	New files.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-15
\|
*	Fix typo.	David Aspinall	2004-04-15
\|
*	commented the new tarski example for coq.	Pierre Courtieu	2004-04-15
\|
*	added Knaster - Tarski theorem.	Pierre Courtieu	2004-04-15
\|
*	added some tactical names for coq.	Pierre Courtieu	2004-04-15
\|
*	Add doc for x-symbols	David Aspinall	2004-04-15
\|
*	little change in CHANGES and in coq syntax table.	Pierre Courtieu	2004-04-15
\|
*	Cleanup file by removing some unnecessary settings (I hope)	David Aspinall	2004-04-14
\|
*	Deleted file	David Aspinall	2004-04-14
\|
*	Updated.	David Aspinall	2004-04-14
\|
*	added basic support for imenu for coq.	Pierre Courtieu	2004-04-14
\|
*	added the "return" keyword to coq	Pierre Courtieu	2004-04-14
\|
*	added some commands in coq menu	Pierre Courtieu	2004-04-06
\|
*	fixed coq xsymb table.	Pierre Courtieu	2004-04-06
\|
*	Fixed coq x-symbols. now alphaa is not encoded, aalpha is not encoded,	Pierre Courtieu	2004-04-05
\| \| \| \|	but alpha_, _alpha and _alpha_ are decoded.
*	Use official indentation\!	David Aspinall	2004-04-02
\|
*	Remove three-buffer stuff (made generic)	David Aspinall	2004-04-02
\|
*	changed ths syntax for sub/superscript:	Pierre Courtieu	2004-04-01
\| \| \| \| \| \| \| \| \| \|	- __ makes the following word (if immediately after __) subscript - ^^ makes the following word (if immediately after ^^) superscript - __{...} makes ... subscript - ^^{...} makes ... superscript
*	added subscript in x-symbols-coq.el.	Pierre Courtieu	2004-03-31
\|
*	debugging coq-x-symbols.el	Pierre Courtieu	2004-03-30
\|
*	added the forall x-symbol to the indent keywords lists.	Pierre Courtieu	2004-03-30
\|
*	Trying to put x-symbols for coq. By copying	Pierre Courtieu	2004-03-30
\| \| \| \|	x-symbol-isabelle.el. Seems to work.
*	* empty log message *	Pierre Courtieu	2004-03-29
\|
*	V8/V7 reserved keywords for coq	Pierre Courtieu	2004-03-29
\|
*	coq < 8.0 menu and abbrevs.	Pierre Courtieu	2004-03-19
\|