proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	texi-docstring-magic-insert-magic: fix for GNU Emacs name: ↵	David Aspinall	2007-12-10
\| \| \| \|	function-called-at-point
*	span-give-warning: consistency with span-overlay.el	David Aspinall	2007-12-10
\|
*	Fix use of erase-buffer for GNU Emacs	David Aspinall	2007-12-10
\|
*	Comments.	David Aspinall	2007-12-10
\|
*	Fix some compile warnings: use of error, customization groups	David Aspinall	2007-12-10
\|
*	Updated.	David Aspinall	2007-12-10
\|
*	Set version tag for new release.	David Aspinall	2007-12-10
\|
*	Shorten tooltip	David Aspinall	2007-12-10
\|
*	Fixup some compile warnings	David Aspinall	2007-12-09
\|
*	Fix typo.	David Aspinall	2007-12-09
\|
*	New files.	David Aspinall	2007-12-09
\|
*	Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts ↵	David Aspinall	2007-12-09
\| \| \| \|	to pg-xml.el
*	Update bug report locations	David Aspinall	2007-12-09
\|
*	Nuke some compile warnings	David Aspinall	2007-12-09
\|
*	Updated.	David Aspinall	2007-12-09
\|
*	Fix walkthrough to match Isabelle 2007	David Aspinall	2007-12-09
\|
*	Comments.	David Aspinall	2007-12-09
\|
*	More dirs for TAGS	David Aspinall	2007-12-09
\|
*	Comment unused function	David Aspinall	2007-12-09
\|
*	Patch for buggy derived.el in XEmacs 21.5.b28	David Aspinall	2007-12-09
\|
*	Extra first section on installation	David Aspinall	2007-12-09
\|
*	Comments.	David Aspinall	2007-12-09
\|
*	New files.	David Aspinall	2007-12-08
\|
*	Anticipate future versions have same API, not just 21.5.b28	David Aspinall	2007-12-08
\|
*	Fix for XEmacs 21.5 beta28	David Aspinall	2007-12-08
\|
*	Print Coercions added to coq-syntax	Assia Mahboubi	2007-12-07
\|
*	Corollary added to Coq starters	Assia Mahboubi	2007-12-05
\|
*	coq solve tacs modified	Assia Mahboubi	2007-11-30
\|
*	colouring for Reserved Notations	Assia Mahboubi	2007-11-26
\|
*	removed 'by'form coq-reserved and added it to coq-solve-tactics	Assia Mahboubi	2007-11-20
\|
*	clarify that -U now defaults to true;	Makarius Wenzel	2007-11-20
\|
*	adding coq-solve tactics	Assia Mahboubi	2007-11-20
\|
*	fixed spelling;	Makarius Wenzel	2007-11-18
\|
*	coq-user-reserved-db added	Assia Mahboubi	2007-11-16
\|
*	test commit : added Structure to coq-defn-db	Assia Mahboubi	2007-11-16
\|
*	Fix mail address/name for Makarius	David Aspinall	2007-11-15
\|
*	command 'thm' makes no sense outside a proper context;	Makarius Wenzel	2007-11-13
\| \| \| \|	fixed spelling;
*	Versions	David Aspinall	2007-11-12
\|
*	Set version tag for new release.	David Aspinall	2007-11-12
\|
*	Fix http://proofgeneral.inf.ed.ac.uk/trac/ticket/160	David Aspinall	2007-11-12
\|
*	fixing small font-lock bug with ssreflect syntax.	Pierre Courtieu	2007-11-08
\|
*	Debugging font-lock regexp.	Pierre Courtieu	2007-11-07
\|
*	Menu are now correctly sorted.	Pierre Courtieu	2007-11-07
\|
*	Debugging font-lock regexp.	Pierre Courtieu	2007-11-07
\|
*	Debugging font-lock regexps. Bad order: longer regexp should be put	Pierre Courtieu	2007-11-07
\| \| \| \|	first.
*	defconst proof-warning-face -- as expected by GNU Emacs;	Makarius Wenzel	2007-11-04
\|
*	Fixed colorization bugs reported by Assai MAhboubi, this commit is	Pierre Courtieu	2007-10-30
\| \| \| \|	part of the previoous one (missused cvs).
*	Fixed small colorizing bugs (when keywords contain sub words colorized	Pierre Courtieu	2007-10-30
\| \| \| \|	in another color). Reported by Assia Mahboubi.
*	Bug fixed. Reported by Assia Mahboubi.	Pierre Courtieu	2007-10-30
\|
*	Fixed a bug on custom vars (bad :type) + Added a customizable user var	Pierre Courtieu	2007-10-29
\| \| \| \|	for tacticals (asked by Assi Mahboubi).