proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Quick stab at support for switching to proof shell when interactive support e...	David Aspinall	2011-11-15
*	Small fixes to coq smie indentation.	Pierre Courtieu	2011-11-14
*	Fixed coq smie indentation.	Pierre Courtieu	2011-11-11
*	Fixed coq smie indentation.	Pierre Courtieu	2011-11-10
*	fixed some small bugs in coq indentation smie code.	Pierre Courtieu	2011-11-10
*	added utf8 quantifiers for indentation + small fix in indentation.	Pierre Courtieu	2011-11-08
*	Fixing syntax.	Pierre Courtieu	2011-11-07
*	Fixed a bit more smie coq indentation. Still unfinished but useable.	Pierre Courtieu	2011-11-07
*	Fixed several more bugs in smie indentation code. Not finished.	Pierre Courtieu	2011-11-05
*	slowly fixing the last small bugs in smie indentation.	Pierre Courtieu	2011-11-04
*	Fix previous commit (again).	Pierre Courtieu	2011-11-04
*	Fix previous commit.	Pierre Courtieu	2011-11-04
*	* coq.el (coq-smie-forward-token): Simplify by delegating to backward-token.	Stefan Monnier	2011-11-03
*	Fixed the indentation of different kinds of use of the with keyword.	Pierre Courtieu	2011-11-03
*	Added bullet indentation in smie code. smie code still needs some	Pierre Courtieu	2011-11-02
*	Attempt to support stricter bytecomp flags	David Aspinall	2011-10-17
*	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