proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	merge ProofTreeBranch into main trunk:	Hendrik Tews	2012-01-03
*	Add big Integral	David Aspinall	2011-12-27
*	Extra test	David Aspinall	2011-12-27
*	Typo	David Aspinall	2011-12-27
*	Will release 4.2 next, after all	David Aspinall	2011-12-23
*	Fixed some regexp. One for goal closing detection and one for	Pierre Courtieu	2011-12-16
*	Adapting coq syntax recognition to the future v8.4 behavior of bullets	Pierre Courtieu	2011-12-16
*	Set version tag for new release.	David Aspinall	2011-12-07
*	- protect proof-shell-handle-delayed-output against the case where	Hendrik Tews	2011-12-07
*	fix a log of broken customization types	Hendrik Tews	2011-12-06
*	use the start of proof-shell-end-goals-regexp, as documented	Hendrik Tews	2011-12-06
*	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
*	Suggest PG 4.1.1 will be released next	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
*	Add web style sheet to doc output (work in progress)	David Aspinall	2011-11-09
*	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
*	Add fix and regression test for Trac #138	David Aspinall	2011-10-17
*	Set version tag for new release.	David Aspinall	2011-10-17
*	Attempt to support stricter bytecomp flags	David Aspinall	2011-10-17
*	Attempt to support stricter bytecomp warnings	David Aspinall	2011-10-17
*	Remove dependency of pg-movie on pg-user	David Aspinall	2011-10-17
*	Outline required compile and run	David Aspinall	2011-10-17
*	Require cl only during compile	David Aspinall	2011-10-17
*	Bump doc version numbers to 4.2pre.	David Aspinall	2011-10-14
*	Set version tag for new release.	David Aspinall	2011-10-13
*	Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...	David Aspinall	2011-10-13
*	Update for 4.2 cycle	David Aspinall	2011-10-13
*	To fix pgshell mode, restore proof-shell-insert support for a single string a...	David Aspinall	2011-10-13
*	Updated.	David Aspinall	2011-10-13
*	Note on how to update base revision number (since I got it wrong on first try)	David Aspinall	2011-10-13
*	Update base revision number for 4.2 development cycle	David Aspinall	2011-10-13
*	Update base revision number for 4.2 development cycle	David Aspinall	2011-10-13
*	Set version tag for new release.	David Aspinall	2011-10-03
*	Update dates and versions	David Aspinall	2011-10-03
*	Remove some non-existent ignored files	David Aspinall	2011-10-03
*	Move a comment to docstring	David Aspinall	2011-10-03