proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Update dates and versions	David Aspinall	2011-10-03
*	Move a comment to docstring	David Aspinall	2011-10-03
*	fix coqdep warning treated as error (library occurring at	Hendrik Tews	2011-09-23
*	fix widget descriptions of coq-load-path	Hendrik Tews	2011-09-15
*	-add support for -R and -I -as in coq-load-path	Hendrik Tews	2011-09-15
*	fix #421 with solution 1	Hendrik Tews	2011-09-14
*	fix documentation error	Hendrik Tews	2011-09-09
*	Fix trac #420 indentation freezing.	Pierre Courtieu	2011-09-04
*	Non Unicode char	David Aspinall	2011-08-29
*	eval-when-compile -> eval-when (compile) to avoid defvar coq-prog-name	David Aspinall	2011-08-24
*	Add back annotation for docstring for texinfo	David Aspinall	2011-08-23
*	Note TODO for indent testing!	David Aspinall	2011-08-23
*	Move coq-prog-name back to coq.el	David Aspinall	2011-08-23
*	Crude patch for Trac #416. I haven't tried to understand indent code fully, ...	David Aspinall	2011-08-23
*	Fixing track 414 by adding Preterm as a state preserving command.	Pierre Courtieu	2011-07-29
*	Fix compile when smie isnt available	David Aspinall	2011-07-26
*	Fixing the scripting of new subproof script parenthesizing ({ and }).	Pierre Courtieu	2011-07-08
*	+ fix documentation and one spelling error	Hendrik Tews	2011-07-05
*	Some more sample indentation patterns added.	Pierre Courtieu	2011-07-01
*	Remove pointer to closed ticket	David Aspinall	2011-06-22
*	Removed { and } as command terminators for now.	Pierre Courtieu	2011-06-19
*	oops, undo last commit.	Pierre Courtieu	2011-06-17
*	Fix mais le find-father ne marche pas encore.	Pierre Courtieu	2011-06-17
*	* coq.el: Fix up a few comment conventions; Improve SMIE indentation.	Stefan Monnier	2011-06-11
*	Unplug smie cindentation code for this release.	Pierre Courtieu	2011-06-10
*	Fix trac #410.	Pierre Courtieu	2011-06-10
*	Add etc/coq/parsingcheck-410.v to executed files	David Aspinall	2011-06-09
*	Fix compile errors (seems to be code duplication between coq.el and coq-indent)	David Aspinall	2011-06-09
*	Added one indentation example.	Pierre Courtieu	2011-06-08
*	- fix for #408: Only use the buffer name in	Hendrik Tews	2011-06-08
*	2011-06-07 Stefan Monnier <monnier@iro.umontreal.ca>	Stefan Monnier	2011-06-07
*	Summary: * coq.el (coq-smie-backward-token): Fix typo in last change.	Stefan Monnier	2011-06-07
*	Summary: coq-smie: improve indentation.	Stefan Monnier	2011-06-07
*	Summary: coq-smie: Do not assume all "." are terminators. Handle "Programs".	Stefan Monnier	2011-06-06
*	Updated the old code for indentation, in case Stefan cannot finish the	Pierre Courtieu	2011-06-04
*	Cleaning some keyboard shortcuts, applying patch from Erik Martin-Dorel.	Pierre Courtieu	2011-06-04
*	coq-init-compile-response-buffer: handle killed buffer (Trac #408)	David Aspinall	2011-06-03
*	Some small fixes in indentation for coq.	Pierre Courtieu	2011-05-31
*	Added indentation for BeginSubProof/EndSubProof.	Pierre Courtieu	2011-05-31
*	- two fixes for coq-debug-auto-compilation	Hendrik Tews	2011-05-25
*	- minor changes: clean personal todo list + adjust test case description	Hendrik Tews	2011-05-20
*	Fixed #394. There is a bug with kfont-lock-keywords. The workaround is	Pierre Courtieu	2011-05-17
*	- add test coq/ex/test-cases/change-ancestor for the	Hendrik Tews	2011-05-12
*	Checkdoc	David Aspinall	2011-05-06
*	- flushed proof-done-advancing-require-function and	Hendrik Tews	2011-05-05
*	update Hendrik's personal issue list	Hendrik Tews	2011-04-27
*	Fix compile	David Aspinall	2011-04-26
*	Fix so that make test.coq runs successfully.	David Aspinall	2011-04-26
*	Clean up some defcustom docstrings (remove *'s)	David Aspinall	2011-04-26
*	* fix coq-show-first-goal changing the current buffer	Hendrik Tews	2011-04-15