proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	delay vio2vo compilation	Hendrik Tews	2016-11-29
*	8.4 compatibility for quick support	Hendrik Tews	2016-11-29
*	don't unnecessarily delete .vio files for ensure-vo	Hendrik Tews	2016-11-29
*	support vio2vo background processing	Hendrik Tews	2016-11-29
*	improve compilation when both .vio and .vo are up-to-date	Hendrik Tews	2016-11-22
*	reconcile menu for auto compilation	Hendrik Tews	2016-11-18
*	fix parallel compilation for the unlikely case of identical time stamps	Hendrik Tews	2016-11-17
*	first version for quick compilation	Hendrik Tews	2016-11-16
*	avoid leaving partial files behind when compilation fails	Hendrik Tews	2016-11-10
*	fix #123, also improve debugging output	Hendrik Tews	2016-11-02
*	fix error in process filter: Cannot resize window	Hendrik Tews	2016-11-02
*	ensure coq-compile-response-buffer is not in a dedicated window	Hendrik Tews	2016-10-28
*	fix coq-require-command-regexp (fixes #75)	Hendrik Tews	2016-10-28
*	fix typo in last commit	Hendrik Tews	2016-10-28
*	Merge pull request #118 from hendriktews/several-fixes	hendriktews	2016-10-27
\|\
\| *	give a more helpful error message if Coq version detection fails	Hendrik Tews	2016-10-27
\| *	gitignore for doc subdir	Hendrik Tews	2016-10-27
\| *	delete TAGS file from repository	Hendrik Tews	2016-10-27
\| *	fix parallel compilation and improve assertions and debugging code	Hendrik Tews	2016-10-27
\|/
*	Update CHANGES.	Erik Martin-Dorel	2016-10-16
*	Follow-up of #115.	Erik Martin-Dorel	2016-10-15
*	Merge pull request #115 from tchajed/macos-rebranding	Erik Martin-Dorel	2016-10-14
\|\
\| *	Refer to Apple's operating system as macOS	Tej Chajed	2016-10-14
\|/
*	Makefile: don't depend on pwd	Clément Pit--Claudel	2016-09-28
*	Make it possible to work around #113	Clément Pit--Claudel	2016-09-28
*	proof-retract-before-change: Fix #41 by saving/restoring the match data.	Erik Martin-Dorel	2016-09-25
*	Update .travis.yml.	Erik Martin-Dorel	2016-09-24
*	Disable parallel build, to workaround the issue raised in PR #112.	Erik Martin-Dorel	2016-09-23
*	Make shell and perl scripts executable.	Erik Martin-Dorel	2016-09-19
*	Bump version number for next release cycle.	Erik Martin-Dorel	2016-09-19
*	Update the documentation and prepare the release 4.4.	Erik Martin-Dorel	2016-09-18
*	Comment-out the rcsid ($Id$) that dates from CVS.	Erik Martin-Dorel	2016-09-18
*	Detail.	Erik Martin-Dorel	2016-09-18
*	Promote CHANGES since 2820cb68 as related to PG 4.4.	Erik Martin-Dorel	2016-09-18
*	Fix reference to log-warning-minimum-level	psteckler	2016-09-16
*	Ensure PG overlays have pg-span property (#98)	Tej Chajed	2016-08-25
*	Sort the OPTIONS menu items differently & Fix a typo (UnSet -> Unset).	Erik Martin-Dorel	2016-08-14
*	Replace "Set Implicit Arguments" option with "Set Printing Implicit".	Erik Martin-Dorel	2016-08-14
*	Add Reserved Infix like Reserved Notation (#95)	Jason Gross	2016-08-14
*	Fix whitespace to comply with Markdown syntax.	Erik Martin-Dorel	2016-07-26
*	Rename FAQ -> FAQ.md	Erik Martin-Dorel	2016-07-26
*	Add documentation about the recommended way to set coq-prog-name.	Erik Martin-Dorel	2016-07-23
*	Run "make magic" to update texi comments from elisp docstrings.	Erik Martin-Dorel	2016-07-23
*	Add myself to the list of maintainers.	Erik Martin-Dorel	2016-07-23
*	Adding the option to highlight susual symbols.	Pierre Courtieu	2016-07-22
*	Merge pull request #87 from erikmd/patch-1	Pierre Courtieu	2016-07-20
\|\
* \|	Fix inforef references to the emacs manual. (#88)	Yuval Langer	2016-07-07
\| *	Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta).	Erik Martin-Dorel	2016-07-04
\|/
*	Highlight Existing Class like Existing Instance (#85)	Jason Gross	2016-07-03
*	Add Travis CI badge.	Erik Martin-Dorel	2016-07-03