proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Don't offer "" as the default in C-c C-c C-a	Clément Pit--Claudel	2016-05-16
*	coq-syntax: Add a debug spec	Clément Pit--Claudel	2016-05-16
*	Don't use string-empty-p	Clément Pit--Claudel	2016-04-25
*	Merge pull request #68 from ProofGeneral/67-intros-and-PG-settings	Pierre Courtieu	2016-04-15
\|\
\| *	Respect user settings in coq-insert-intros	Clément Pit--Claudel	2016-04-14
\|/
*	updating CHANGES to the last commit.	Pierre Courtieu	2016-03-21
*	Option to toggle optimising response windo heigth.	Pierre Courtieu	2016-03-21
*	Adding more keywords (Local xxx).	Pierre Courtieu	2016-03-09
*	Fixed #64 again. e2c5da0 commits was wrong.	Pierre Courtieu	2016-03-09
*	Fix #47.	Pierre Courtieu	2016-03-09
*	Fix #64. Use syntax-ppss in fill-nobreak-predicate.	Pierre Courtieu	2016-03-09
*	Fixing a small glitch in indentation.	Pierre Courtieu	2016-03-09
*	Fix #63 (efficiency pb in indentation).	Pierre Courtieu	2016-03-09
*	Fixing #62.	Pierre Courtieu	2016-03-08
*	Avoiding useless computation in indentation code.	Pierre Courtieu	2016-03-08
*	Should fix #49 and #55 (compilation of From .. Require).	Pierre Courtieu	2016-03-08
*	Small fix for -Q options in loadpath.	Pierre Courtieu	2016-03-08
*	Highlight ltac:(), constr:(), and uconstr:()	Clément Pit--Claudel	2016-03-05
*	Redo 11b03d4 (ensure that ‘Time’ isn't added to internal commands)	Clément Pit--Claudel	2016-02-29
*	Remove leftover comment	Clément Pit--Claudel	2016-02-28
*	Don't add the ‘Time’ prefix to internal Coq commands	Clément Pit--Claudel	2016-02-28
*	Add uconstr to the (ltac constr) list in SMIE	Clément Pit--Claudel	2016-02-27
*	Fix a typo: s/coq-modulestart-proofstart/coq-indent-proofstart/	Clément Pit--Claudel	2016-02-27
*	Add a :safe predicate to indentation variables	Clément Pit--Claudel	2016-02-27
*	Simplify code to add to .emacs	Clément Pit--Claudel	2016-02-20
*	Adding missing keywords	Pierre Courtieu	2016-02-18
*	Merge pull request #28 from JasonGross/travis-24-3-4-5	Pierre Courtieu	2016-02-17
\|\
* \	Merge pull request #40 from hendriktews/proof-tree	Pierre Courtieu	2016-02-17
\|\ \
* \| \|	More version number fixes	Clément Pit--Claudel	2016-02-13
* \| \|	A few clarifications in README	Clément Pit--Claudel	2016-02-12
* \| \|	Merge pull request #48 from tchajed/texi2html-flags	Clément Pit--Claudel	2016-02-10
\|\ \ \
\| * \| \|	Update numbering flag passed to texi2html	Tej Chajed	2016-02-10
\|/ / /
* \| \|	More README updates	Clément Pit--Claudel	2016-02-10
* \| \|	Update README	Clément Pit--Claudel	2016-02-10
* \| \|	Ensure that version detection does not fail in 24.3	Clément Pit--Claudel	2016-02-06
* \| \|	Use coq-prog-name to autodetect version number	Clément Pit--Claudel	2016-02-06
* \| \|	Fixed recent coq syntax change (tac !H become tac (H)).	Pierre Courtieu	2016-01-27
\| * \|	basic proof tree changes for Coq 8.5	Hendrik Tews	2016-01-24
\|/ /
* \|	Cleaning CHANGES.	Pierre Courtieu	2016-01-19
* \|	fix #36.	Pierre Courtieu	2016-01-19
* \|	Add a few comments to explain values of coq-load-path	Clément Pit--Claudel	2016-01-14
* \|	Mark coq-load-path-include-current as obsolete	Clément Pit--Claudel	2016-01-14
* \|	Automatically detect which version of Coq we're using	Clément Pit--Claudel	2016-01-14
* \|	Refactor the project file parsing code	Clément Pit--Claudel	2016-01-14
* \|	Fix #29 + indentation glitch + regexp refactoring.	Pierre Courtieu	2016-01-14
\| *	Versions 24.2 and earlier do not compile	Jason Gross	2016-01-13
\| *	Add .travis.yml file adapted from fstar-mode.el	Jason Gross	2016-01-13
\|/
*	Fixing indentation of ";".	Pierre Courtieu	2016-01-08
*	indentation of ";" more accurate.	Pierre Courtieu	2016-01-08
*	Fixing outdenting in ";" indetation.	Pierre Courtieu	2016-01-08