proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
* \| \|	key maps + small glitch hyp highlight/folding code.	Pierre Courtieu	2018-06-11
* \| \|	Changed the look of folding/unfolding hyps.	Pierre Courtieu	2018-06-08
* \| \|	Small fix in a regexp.	Pierre Courtieu	2018-06-06
* \| \|	Shorter CHANGES + smal fixes in hide/highlight hyps code.	Pierre Courtieu	2018-06-04
* \| \|	Click hypothesis to (un)hide them.	Pierre Courtieu	2018-06-01
* \| \|	Fixed a typo in previous commits.	Pierre Courtieu	2018-06-01
* \| \|	Updated CHANGES about hiding and highlighting of hyps.	Pierre Courtieu	2018-05-31
* \| \|	Infrastructure for hypothesis hiding.	Pierre Courtieu	2018-05-31
* \| \|	Fixing infrastructure for hypothesis highlighting.	Pierre Courtieu	2018-05-31
* \| \|	Merge branch 'master' of github.com:ProofGeneral/PG	Pierre Courtieu	2018-05-31
\|\ \ \
* \| \| \|	Infrastructure for transient hyps highlighting.	Pierre Courtieu	2018-05-31
\| * \| \|	Merge pull request #360 from ProofGeneral/update-readme	Erik Martin-Dorel	2018-05-29
\| \|\ \ \
\| \| * \| \|	Add note about PG branches and license	Erik Martin-Dorel	2018-05-29
\| \|/ / /
\| * \| \|	Merge pull request #356 from stardiviner/stardiviner-patch-1	Erik Martin-Dorel	2018-04-22
\| \|\ \ \
\| \| * \| \|	small fix of face `coq-symbol-face'	stardiviner	2018-04-22
\| \|/ / /
\| * \| \|	Merge pull request #207 from SkySkimmer/master	Erik Martin-Dorel	2018-04-08
\| \|\ \ \
\| * \| \| \|	Merge pull request #347 from liyishuai/master	Erik Martin-Dorel	2018-03-17
\|/\| \| \| \|
\| * \| \| \|	CI Emacs 25.3	Yishuai Li	2018-03-11
\|/ / / /
* \| \| \|	Merge pull request #344 from ProofGeneral/font-lock-fix	Erik Martin-Dorel	2018-03-07
\|\ \ \ \
\| * \| \| \|	Add a missing parameter in advice on font-lock-fontify-keywords-region	Clément Pit--Claudel	2018-03-07
\|/ / / /
* \| \| \|	Fix typos in custom variable descriptions. (#236)	Tej Chajed	2018-03-03
* \| \| \|	Update the AUTHORS file.	Erik Martin-Dorel	2018-03-03
* \| \| \|	Merge pull request #194 from ProofGeneral/update-headers	Clément Pit-Claudel	2018-02-25
\|\ \ \ \
\| * \| \| \|	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|/ / / /
* \| \| \|	Bind C-c C-m (= C-c RET) to proof-goto-point [tty] (#228)	Erik Martin-Dorel	2018-02-20
* \| \| \|	typo in abbrevs.	Pierre Courtieu	2018-02-07
* \| \| \|	Merge pull request #224 from psteckler/fix-233	Pierre Courtieu	2018-01-30
\|\ \ \ \
\| * \| \| \|	look for vernac controls before focus bracket, fix for #223	Paul Steckler	2018-01-26
\|/ / / /
* \| \| \|	Disable ASLR during Travis builds	Clément Pit--Claudel	2018-01-17
* \| \| \|	Get rid of old-style backquotes	Clément Pit--Claudel	2018-01-16
* \| \| \|	Experimental fix for #220.	Pierre Courtieu	2018-01-15
\| * \| \|	Make coq-prog-args safe when list of strings.	Gaëtan Gilbert	2017-12-22
* \| \| \|	Fix #214.	Pierre Courtieu	2017-12-11
* \| \| \|	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