proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Deleted file	David Aspinall	2006-09-22
\|
*	typo in coq-indent.	Pierre Courtieu	2006-09-15
\|
*	fixed a typo in last correction.	Pierre Courtieu	2006-09-15
\|
*	fix a bug with error highlighting. Not sure it is ok but seems to	Pierre Courtieu	2006-09-14
\| \| \| \|	work.
*	fixed a bug from Stefan Monnier.	Pierre Courtieu	2006-09-14
\|
*	cleaning from Stefan Monnier.	Pierre Courtieu	2006-09-13
\|
*	cleaning from Stefan Monnier.	Pierre Courtieu	2006-09-13
\|
*	Updated.	David Aspinall	2006-09-12
\|
*	Set version tag for new release.	David Aspinall	2006-09-12
\|
*	Set version tag for new release.	David Aspinall	2006-09-09
\|
*	Fixed nested comment support for scripting, in xemacs (worked already	Pierre Courtieu	2006-09-08
\| \| \| \|	on GNU Emacs). Instanciated proof-parse-function for that...
*	Set version tag for new release.	David Aspinall	2006-09-07
\|
*	Updated.	David Aspinall	2006-09-07
\|
*	update CHANGES.	Pierre Courtieu	2006-09-07
\|
*	Updated CHANGES.	Pierre Courtieu	2006-09-07
\|
*	Added Goal as a goal starter in syntax db.	Pierre Courtieu	2006-09-07
\|
*	updating changes in coq/CHANGES.	Pierre Courtieu	2006-09-06
\|
*	Making error highlighting more robust (for both emacsen) and use a	Pierre Courtieu	2006-09-06
\| \| \| \|	span instead of region.
*	Error highliting in coq now works	Pierre Courtieu	2006-09-05
\|
*	still experimenting error highliting	Pierre Courtieu	2006-09-05
\|
*	Experimenting highlighting the error from coqtop error	Pierre Courtieu	2006-09-05
\| \| \| \| \|	message. Function work but proof-shell-handle-error-or-interrupt-hook does not allow to activate the region...
*	Trying to mae indentation aware of nested comments (to be simplified	Pierre Courtieu	2006-09-04
\| \| \| \| \|	when xemacs will deal with nested comments). Seems to work, a bit slow.
*	Cleanup makefiles	David Aspinall	2006-08-28
\|
*	Cleanup makefiles	David Aspinall	2006-08-28
\|
*	Cleanup makefiles	David Aspinall	2006-08-28
\|
*	Deleted file	David Aspinall	2006-08-28
\|
*	Set version tag for new release.	David Aspinall	2006-08-28
\|
*	fixes again in syntax databases.	Pierre Courtieu	2006-08-25
\|
*	fix in syntax tables.	Pierre Courtieu	2006-08-25
\|
*	Small fixes on syntax tables.	Pierre Courtieu	2006-08-25
\|
*	Adding comments	Pierre Courtieu	2006-08-25
\|
*	fix coq/CHANGES	Pierre Courtieu	2006-08-25
\|
*	Small fixes.	Pierre Courtieu	2006-08-25
\|
*	Changed default coq version (8.1)	Pierre Courtieu	2006-08-25
\| \| \| \|	Small fixes in docstrings.
*	added a CHANGES file for coq directory	Pierre Courtieu	2006-08-25
\| \| \| \|	filled it
*	Fixed a small bug in indentation of coq.	Pierre Courtieu	2006-08-25
\| \| \| \|	Fixed behavior for making abbrev table (don't if it already exists).
*	Changed state-preserving check for coq.	Pierre Courtieu	2006-08-24
\|
*	changed coq bqcktracking to avoid doing backtrack x y z when x y and z	Pierre Courtieu	2006-08-24
\| \| \| \| \| \|	are identical to current ones. This is because Backtrack x y z is sometimes slow even in such cases. Hopefully this won't break synchronization.
*	fixing a bug introduced lately (coq-save-command-p needs two args	Pierre Courtieu	2006-08-24
\| \| \| \|	beacause proof-save-command-p needs is so defined).
*	Fixed indentation and font-lock for coq. Better, faster.	Pierre Courtieu	2006-08-23
\|
*	Mention Emacs menu for debug boxes	David Aspinall	2006-08-23
\|
*	sit-for is indeed in subr.el, must be careful to load right	David Aspinall	2006-08-23
\| \| \| \|	libraries...
*	Compatibility for GNU Emacs CVS losing sit-for	David Aspinall	2006-08-23
\| \| \| \|	(this will break much code, isn't it in some .el file?)
*	Tweak to FAQ#1	David Aspinall	2006-08-23
\|
*	Syntax strictitude	David Aspinall	2006-08-23
\|
*	Coq indentation small fixes.	Pierre Courtieu	2006-08-23
\|
*	fsf emacs compatibilty for symbol-at-point.	Pierre Courtieu	2006-08-23
\|
*	Comments and docstring fixes in lib and generic.	Pierre Courtieu	2006-08-23
\|
*	Cleaning in coq and lib, fixed licenses and docstrings.	Pierre Courtieu	2006-08-23
\| \| \| \|	Added one or two details to docstring of generic variables.
*	Finished making functions over big tables non recursive. Works with	Pierre Courtieu	2006-08-23
\| \| \| \|	emacs.