proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	CI Emacs 25.3	Yishuai Li	2018-03-11
\|
*	Disable ASLR during Travis builds	Clément Pit--Claudel	2018-01-17
\|
*	[Travis CI] Replace emacs-git target with emacs-25.{1,2} stable targets. (#181)	Erik Martin-Dorel	2017-04-25
\| \| \|	This commit contributes to shorten the real time of Travis' automated build.
*	Update .travis.yml.	Erik Martin-Dorel	2016-09-24
\|
*	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
	From https://github.com/FStarLang/fstar-mode.el/blob/master/.travis.yml