proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
\| * \| \| \|	write CHANGES	Hendrik Tews	2016-11-30
\| * \| \| \|	next-error support for vio2vo error messages	Hendrik Tews	2016-11-30
\| * \| \| \|	update documentation	Hendrik Tews	2016-11-29
\| * \| \| \|	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
\| \| * \|	Add Context to coq-syntax.el	Jason Gross	2016-09-01
\| \|/ / \|/\| \|
* \| \|	Ensure PG overlays have pg-span property (#98)	Tej Chajed	2016-08-25
\| * \|	Add Set Printing Universes to options menu	Tej Chajed	2016-08-15
\|/ /
* \|	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