proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
* \| \| \|	Prettier cheat face (background + box).	Pierre Courtieu	2017-11-06
* \| \| \|	Fix #135.	Pierre Courtieu	2017-11-06
* \| \| \|	Updating CHANGES with lexer extensibility.	Pierre Courtieu	2017-10-26
* \| \| \|	Limited extensibility of smie token detection.	Pierre Courtieu	2017-10-26
\|/ / /
\| * \|	phox syntax table + more symbols	Christophe Raffalli	2017-09-22
\| * \|	phox is back	Christophe Raffalli	2017-09-22
\|/ /
* \|	Fix pg-{show,hide}-all-proofs and Move them into pg-user.el.	Erik Martin-Dorel	2017-08-15
* \|	changed -emacs-U flag to -emacs	Paul Steckler	2017-07-19
* \|	Merge pull request #191 from AndreasLoow/proof-layout-windows-doc-formatting	Pierre Courtieu	2017-07-06
\|\ \
\| * \|	Formatting fix for proof-layout-windows documentation	Andreas Lööw	2017-06-30
\|/ /
* \|	Merge pull request #189 from marsam/master	Clément Pit-Claudel	2017-06-19
\|\ \
\| * \|	Fix easycrypt automode regexp	Mario Rodas	2017-06-19
\|/ /
* \|	Fixing a bug with Set/Unset commands due to recent commits.	Pierre Courtieu	2017-06-08
* \|	Adding a Set Silent + Show when backtracking into a proof.	Pierre Courtieu	2017-06-06
* \|	Fixing bug #187 by removing trailing spaces from prog name.	Pierre Courtieu	2017-06-06
* \|	Merge pull request #185 from psteckler/remove-contribs	psteckler	2017-05-25
\|\ \
\| * \|	Remove mmm and ML4PG contribs and remove references to them in code and docs	Paul Steckler	2017-05-24
* \| \|	Fixing #183.	Pierre Courtieu	2017-05-23
\|/ /
* \|	Fixing Set/Unset Printing broken by auto "Show".	Pierre Courtieu	2017-05-16
* \|	temporary fix of automatic intros.	Pierre Courtieu	2017-05-12
* \|	Change (eval-when (compile) ...) to (eval-when-compile ...)	Clément Pit--Claudel	2017-05-05
* \|	Merge pull request #157 from ProofGeneral/elpa	Clément Pit-Claudel	2017-05-05
\|\ \
* \| \|	Typo from commit 758e679e.	Pierre Courtieu	2017-04-25
* \| \|	[Travis CI] Replace emacs-git target with emacs-25.{1,2} stable targets. (#181)	Erik Martin-Dorel	2017-04-25
* \| \|	Remove bin/proofgeneral and Update Makefiles accordingly.	Erik Martin-Dorel	2017-04-25
* \| \|	Preparing new warning tags (no more special chars).	Pierre Courtieu	2017-04-24
* \| \|	Fix #176.	Pierre Courtieu	2017-04-19
* \| \|	Add file contrib/mmm/.nosearch to help feature extraction tools	Jonas Bernoulli	2017-04-18
* \| \|	[doc]: add documentation for the EasyCrypt mode	Pierre-Yves Strub	2017-04-12
* \| \|	Fixing #173.	Pierre Courtieu	2017-03-31
* \| \|	Added support for future new options (trunk).	Pierre Courtieu	2017-03-22
* \| \|	Fixing #167.	Pierre Courtieu	2017-03-13
\| \| *	extend helpspan, issue #158	Paul Steckler	2017-03-09
\| \|/ \|/\|
\| *	elpa: Add a package file and a package.el-friendly init script	Clément Pit--Claudel	2017-03-08
\| *	Add a FIXME in coq.el	Clément Pit--Claudel	2017-03-08
\| *	Remove uses of defpgdefault in coq-abbrev	Clément Pit--Claudel	2017-03-08
\| *	Remove uses of defpacustom in coq-compile-common	Clément Pit--Claudel	2017-03-08
\| *	easycrypt: Don't require pg-custom: it breaks compilation	Clément Pit--Claudel	2017-03-08
\| *	Remove compile-time calls to proof-ready-for-assistant	Clément Pit--Claudel	2017-03-08
\| *	Remove unnecessary calls to 'eval-and-compile'	Clément Pit--Claudel	2017-03-08
\| *	Remove a few useless eval-and-compile calls	Clément Pit--Claudel	2017-03-08
\| *	Remove some Emacs <24.1 compatibility cruft	Clément Pit--Claudel	2017-03-08
\| *	Fix incorrect uses of defvar	Clément Pit--Claudel	2017-03-08
\| *	Fix incorrect assumption that noninteractive == byte-compiling	Clément Pit--Claudel	2017-03-08
\|/
*	Merge commit '06fd76163b857a056ac44e7437efa17656f06e5b'	Paul Steckler	2017-03-08
\|\
\| *	Fixing unicode tokens in generic code and in coq.	Pierre Courtieu	2017-03-08
* \|	get threeb frames only when needed	Paul Steckler	2017-03-06
* \|	one more redundant call removed	Paul Steckler	2017-03-06
* \|	remove redundant calls, simplify code	Paul Steckler	2017-03-06
* \|	Merge pull request #163 from ProofGeneral/fix_indentation	Pierre Courtieu	2017-03-03
\|\ \