proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
...
*	fix :get for coq-search-blacklist	Hendrik Tews	2016-12-15
*	Merge pull request #101 from tchajed/print-universes-option	hendriktews	2016-12-15
\|\
* \|	fix customize-group coq	Hendrik Tews	2016-11-30
\| *	Add Set Printing Universes to options menu	Tej Chajed	2016-08-15
\|/
*	Replace "Set Implicit Arguments" option with "Set Printing Implicit".	Erik Martin-Dorel	2016-08-14
*	Coq: option to prefer top over bottom of concl.	Pierre Courtieu	2016-06-23
*	Merge branch 'master' of github.com:ProofGeneral/PG	Pierre Courtieu	2016-05-20
\|\
* \|	Fix #72+ make user keywords prioritized over default ones.	Pierre Courtieu	2016-05-20
\| *	Merge branch 'master' of github.com:ProofGeneral/PG	Clément Pit--Claudel	2016-05-16
\| \|\ \| \|/ \|/\|
\| *	Don't offer "" as the default in C-c C-c C-a	Clément Pit--Claudel	2016-05-16
* \|	Merge branch 'master' of github.com:ProofGeneral/PG	Pierre Courtieu	2016-05-02
\|\\|
* \|	Fixing detection of symbol at point.	Pierre Courtieu	2016-05-02
\| *	Don't use string-empty-p	Clément Pit--Claudel	2016-04-25
\| *	Respect user settings in coq-insert-intros	Clément Pit--Claudel	2016-04-14
\|/
*	Option to toggle optimising response windo heigth.	Pierre Courtieu	2016-03-21
*	Fixed #64 again. e2c5da0 commits was wrong.	Pierre Courtieu	2016-03-09
*	Fix #64. Use syntax-ppss in fill-nobreak-predicate.	Pierre Courtieu	2016-03-09
*	Fixing #62.	Pierre Courtieu	2016-03-08
*	Redo 11b03d4 (ensure that ‘Time’ isn't added to internal commands)	Clément Pit--Claudel	2016-02-29
*	Don't add the ‘Time’ prefix to internal Coq commands	Clément Pit--Claudel	2016-02-28
*	Merge pull request #40 from hendriktews/proof-tree	Pierre Courtieu	2016-02-17
\|\
* \|	Fixed recent coq syntax change (tac !H become tac (H)).	Pierre Courtieu	2016-01-27
\| *	basic proof tree changes for Coq 8.5	Hendrik Tews	2016-01-24
\|/
*	Merge pull request #22 from ProofGeneral/fix-scrolling-buffers	Pierre Courtieu	2016-01-06
\|\
* \|	Fixing #25.	Pierre Courtieu	2016-01-06
* \|	Fixing #20. #19 fixed by a commit in coq-8.5.	Pierre Courtieu	2016-01-06
* \|	First try to fix #19 and #20. Not finished.	Pierre Courtieu	2016-01-04
\| *	Fix spurious scrolling of goals and response buffers	Clément Pit--Claudel	2015-12-31
* \|	comment and readme.	Pierre Courtieu	2015-12-31
* \|	Refactoring. New file coq-system.el.	Pierre Courtieu	2015-12-14
\|/
*	Small refactoring of coqxxx args detection.	Pierre Courtieu	2015-12-14
*	Fixing variable declaration.	Pierre Courtieu	2015-12-10
*	Adding an setting for Search Blacklist coq option.	Pierre Courtieu	2015-12-09
*	Fixed a typo.	Pierre Courtieu	2015-12-04
*	A shortcut for coq-insert-as-in-next-command.	Pierre Courtieu	2015-11-26
*	Experimenting less brutal frame deletion.	Pierre Courtieu	2015-11-13
*	Fixed auto-width setting not initialized (trac #456).	Pierre Courtieu	2015-11-13
*	Cleaning code for auto width adapting.	Pierre Courtieu	2015-11-13
*	Tentative fix for #10	Clément Pit--Claudel	2015-11-12
*	Debuging: display a warning.	Pierre Courtieu	2015-11-12
*	coq-pre-v85 option to fix coqdep invocation in [compile before require].	Pierre Courtieu	2015-11-02
*	Re-thinking auto-insert-as.	Pierre Courtieu	2015-10-20
*	Fixed coq-id-at-point.	Pierre Courtieu	2015-10-13
*	proof-retract-command-hook added + more auto adjust width in coq mode.	Pierre Courtieu	2015-10-13
*	proof-assert-command-hook added + Auto adjust width in coq mode.	Pierre Courtieu	2015-10-12
*	Fixing < 25 use of window-frame (mandatory arg).	Pierre Courtieu	2015-10-09
*	Put 'delete-selection t on coq-terminator-insert	Clément Pit--Claudel	2015-10-06
*	Trying to deal with debug mode.	Pierre Courtieu	2015-10-06
*	Fixed #1 (Missing space in coq-insert-intros).	Pierre Courtieu	2015-09-29
*	More Fixes when issuing commands from another buffer.	Pierre Courtieu	2015-09-25