proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
* \|	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
\| *	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
*	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
*	emacs-git Travis build: Fix URL of Emacs repo & Build against emacs-25 branch.	Erik Martin-Dorel	2016-07-03
*	Update README.md.	Erik Martin-Dorel	2016-07-03
*	Update a link (for latest version of FAQ).	Erik Martin-Dorel	2016-07-03
*	Fix link.	Erik Martin-Dorel	2016-07-03
*	Highlight [nra] like [nia] and [lia] and [lra] (#84)	Jason Gross	2016-07-01
*	Fix a typo	Clément Pit--Claudel	2016-06-23
*	Add myself to list of authors	Clément Pit--Claudel	2016-06-23
*	par-compile: Don't try to compile plugins (cm.*)	Clément Pit--Claudel	2016-06-23
*	Fix a type error hidden until recent emacs.	Pierre Courtieu	2016-06-23
*	Updating CHANGES.	Pierre Courtieu	2016-06-23
*	Coq: option to prefer top over bottom of concl.	Pierre Courtieu	2016-06-23
*	coq-load-path docs: norec -> nonrec (#79)	Timothy Bourke	2016-06-18
*	Reset proof-script-buffer to nil if -ready-prover fails	Clément Pit--Claudel	2016-06-10
*	Color lia, romega, nia, psatz, nsatz, lra	Jason Gross	2016-06-10
*	abbrev twivking.	Pierre Courtieu	2016-06-08
*	Fixing font-locking of unicode forall etc.	Pierre Courtieu	2016-06-08
*	Merge branch 'master' of github.com:ProofGeneral/PG	Pierre Courtieu	2016-05-27
\|\
* \|	Fixing a smal glitch in indentation.	Pierre Courtieu	2016-05-27
\| *	Update license information for new logo	Clément Pit--Claudel	2016-05-25
\| *	Update PG's logo	Clément Pit--Claudel	2016-05-24
\|/