proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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.
*	emacs-git Travis build: Fix URL of Emacs repo & Build against emacs-25 branch.	Erik Martin-Dorel	2016-07-03
\| \| \| \|	Ref: https://github.com/FStarLang/fstar-mode.el/blob/master/Makefile.travis
*	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