proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Support proof-shell-interactive-prompt-regexp, ref Trac #430	David Aspinall	2012-01-10
*	proof-shell-start-goals-regexp: shy match to avoid introducing match group	David Aspinall	2012-01-09
*	* fix case where some existential is instantiated with the last proof command	Hendrik Tews	2012-01-04
*	hide the dependent evars line	Hendrik Tews	2012-01-03
*	merge ProofTreeBranch into main trunk:	Hendrik Tews	2012-01-03
*	Fixed some regexp. One for goal closing detection and one for	Pierre Courtieu	2011-12-16
*	- protect proof-shell-handle-delayed-output against the case where	Hendrik Tews	2011-12-07
*	ensure optim-resp-window does not change the current buffer	Hendrik Tews	2011-12-06
*	Applied a patch from Tom Prince which makes	Pierre Courtieu	2011-12-05
*	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
*	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
*	Non Unicode char	David Aspinall	2011-08-29
*	Add back annotation for docstring for texinfo	David Aspinall	2011-08-23
*	Move coq-prog-name back to coq.el	David Aspinall	2011-08-23
*	Fix compile when smie isnt available	David Aspinall	2011-07-26
*	+ fix documentation and one spelling error	Hendrik Tews	2011-07-05
*	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 compile errors (seems to be code duplication between coq.el and coq-indent)	David Aspinall	2011-06-09
*	- 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
*	- two fixes for coq-debug-auto-compilation	Hendrik Tews	2011-05-25