proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	added basic support for imenu for coq.	Pierre Courtieu	2004-04-14
\|
*	added the "return" keyword to coq	Pierre Courtieu	2004-04-14
\|
*	Support 'oldhaspref as alias for 'haspref in PG 3.5.	David Aspinall	2004-04-14
\|
*	Add support for Imenu. Fix other bits here.	David Aspinall	2004-04-14
\|
*	Set version tag for new release.	David Aspinall	2004-04-14
\|
*	Updated.	David Aspinall	2004-04-14
\|
*	Add Index menu.	David Aspinall	2004-04-14
\|
*	Add Index Menu and Speedbar menu entries; remove Function Menu.	David Aspinall	2004-04-14
\|
*	Add proof-imenu-enable. Other doc tweaks.	David Aspinall	2004-04-14
\|
*	Add functions for Imenu and Speedbar	David Aspinall	2004-04-14
\|
*	Fix version number notes.	David Aspinall	2004-04-14
\|
*	Write summary of changes.	David Aspinall	2004-04-14
\|
*	Fix buglet in pgip eager annotation stripping.	David Aspinall	2004-04-14
\|
*	Add proof-script-imenu-generic-expression for configuring imenu.	David Aspinall	2004-04-14
\|
*	Add imenu support.	David Aspinall	2004-04-14
\|
*	Func-menu: fix bug in locale regexp. Add imenu support.	David Aspinall	2004-04-14
\|
*	Space in named entities popup	David Aspinall	2004-04-14
\|
*	Fix to proof-goal-with-hole-result to agree with isar-syntax.el	David Aspinall	2004-04-14
\|
*	Fixes for function menu. Remove unnamed entities.	David Aspinall	2004-04-14
\|
*	fixed regexp problem with function menu	Gerwin Klein	2004-04-14
\|
*	Indentation of proof-with-current-buffer-if-exists	David Aspinall	2004-04-13
\|
*	Abstract out proof-maybe-askprefs	David Aspinall	2004-04-13
\|
*	Abstract out proof-end-of-locked-visible-p	David Aspinall	2004-04-13
\|
*	Comment.	David Aspinall	2004-04-13
\|
*	Fix comment.	David Aspinall	2004-04-13
\|
*	Fix long-lived typo in setting auto-mode-alist.	David Aspinall	2004-04-13
\|
*	Set proof-goal-with-hole-result to account for use of shy grouping in ↵	David Aspinall	2004-04-13
\| \| \| \|	goal-with-hole regexp.
*	Note about x-symbol warning on locale.	David Aspinall	2004-04-13
\|
*	Add hint to C-c C-l; cleanup hints, add menu for C-c C-l	David Aspinall	2004-04-13
\|
*	Mention plans to implement PGIP support.	David Aspinall	2004-04-13
\|
*	Mention plan to use CEDET.	David Aspinall	2004-04-13
\|
*	Tweak disabling of X-Symbol packages to allow user to	David Aspinall	2004-04-13
\| \| \| \|	delete x-symbol subdir.
*	Mention new instances of PG.	David Aspinall	2004-04-13
\|
*	New files.	David Aspinall	2004-04-13
\|
*	Disable any other x-symbol packages found by XEmacs (uses defadvice)	David Aspinall	2004-04-13
\|
*	* empty log message *	David Aspinall	2004-04-13
\|
*	Modified logic in ccc-count-undos --- thinking that "holcasl"	David Aspinall	2004-04-13
\| \| \| \|	command itself is not supposed to be counted.
*	Ooops.	David Aspinall	2004-04-13
\|
*	Modify ccc-count-undos according to Christoph's spec.	David Aspinall	2004-04-13
\|
*	Added font-locking and improved undo functionality.	cxl	2004-04-08
\|
*	* empty log message *	David Aspinall	2004-04-06
\|
*	* empty log message *	David Aspinall	2004-04-06
\|
*	Set version tag for new release.	David Aspinall	2004-04-06
\|
*	added some commands in coq menu	Pierre Courtieu	2004-04-06
\|
*	Add -d to first update in tag	David Aspinall	2004-04-06
\|
*	fixed coq xsymb table.	Pierre Courtieu	2004-04-06
\|
*	Fix README	David Aspinall	2004-04-06
\|
*	Comments	David Aspinall	2004-04-06
\|
*	Add pgshell to proof-assistant-table, remove pgkit for now.	David Aspinall	2004-04-06
\|
*	Adjust proof-script-comment-end and comment-end to hold empty string for ↵	David Aspinall	2004-04-06
\| \| \| \|	end-of-line terminated comments.