proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	unicode tokens for \<open>, \<close>, \<newline>;	Makarius Wenzel	2014-01-18
\|
*	Set version tag for new release.	David Aspinall	2013-10-11
\|
*	Added comment.	Pierre Courtieu	2013-07-22
\|
*	Added some information on coq project file in doc.	Pierre Courtieu	2013-07-22
\|
*	Fixing coq project file parsing + moved project options.	Pierre Courtieu	2013-07-22
\|
*	fix type of coq-project-filename	Hendrik Tews	2013-07-17
\|
*	disable and protect coq-hide-additional-subgoals-switch for coq-time-commands	Hendrik Tews	2013-07-17
\|
*	Fix image name	David Aspinall	2013-07-17
\|
*	Set version tag for new release.	David Aspinall	2013-07-17
\|
*	update TAGS	Hendrik Tews	2013-07-17
\|
*	fix ProofGeneral.texi for info	Hendrik Tews	2013-07-17
\|
*	add two Coq faq entries and improve some other	Hendrik Tews	2013-07-11
\|
*	remove backup file	Hendrik Tews	2013-07-11
\|
*	fix typo and compilation	Hendrik Tews	2013-07-11
\|
*	fix two bugs in parallel compilation for Coq	Hendrik Tews	2013-07-11
\|
*	Fixing a big bug in coq project file management.	Pierre Courtieu	2013-07-11
\| \| \| \| \|	file and directory name were not adapted to where the current file is inside the directory structure. Now the absolute names are build.
*	Fixing another bug in indentation concerning "where". Actually there	Pierre Courtieu	2013-07-11
\| \| \| \| \|	are other uses of "where (declaring notation for records that I did no test).
*	Fixing #478 + reverting partially the fix of #476 (Instance cannot be ↵	Pierre Courtieu	2013-07-10
\| \| \| \|	indented by default).
*	Fixing #476 (bis). Adding Fixpoint as a goal starter.	Pierre Courtieu	2013-07-10
\|
*	Fixing #477. Adding Proposition as a goal-starter keyword.	Pierre Courtieu	2013-07-10
\|
*	Fixing #476. Adding more keywords for indentation like Lemma.	Pierre Courtieu	2013-07-10
\|
*	Fixing #475. the "=>" ptoken just before "exists" should be the ltac	Pierre Courtieu	2013-07-10
\| \| \| \|	"=>" most of the time.
*	Fixed interaction between file variables and coq project file + faq.	Pierre Courtieu	2013-07-09
\|
*	Updating coq/faq	Pierre Courtieu	2013-07-08
\|
*	Fixing again bug #466. With a bbetter solution.	Pierre Courtieu	2013-07-08
\| \| \| \|	Not using "b o f" token anymore.
*	Fixing #474. & is now an declared operator. I need something better to	Pierre Courtieu	2013-07-06
\| \| \| \|	capture any operator and give it a (configurable?) precedence.
*	Fixing #473. Now all token finishing by <symbol><dot> is considered an	Pierre Courtieu	2013-07-06
\| \| \| \|	end of command, except if exactly <dot><dot>
*	Updating pg documentation about new feature coq project file.	Pierre Courtieu	2013-07-05
\|
*	Fixing #466. Indent. bug when illformed commment at file beginning.	Pierre Courtieu	2013-07-05
\| \| \| \| \| \|	Nasty bug due to smie fallback to backward-sexp when finding an unknown token, namely the token "", which happens when reaching the bof. Had to add a specific token for b o f.
*	more appropriate URL;	Makarius Wenzel	2013-07-05
\|
*	Set version tag for new release.	David Aspinall	2013-07-05
\|
*	Document Make check	David Aspinall	2013-07-05
\|
*	Fixing a compilation warning for a ml4pg function in coq.el.	Pierre Courtieu	2013-07-04
\|
*	Fixing undeclared variables for compilation.	Pierre Courtieu	2013-07-04
\|
*	Added faq for coq pg.	Pierre Courtieu	2013-07-02
\|
*	Fixing coq project file mechanism.	Pierre Courtieu	2013-07-02
\|
*	Added an entry to CHANGEs about coq project fields.	Pierre Courtieu	2013-06-21
\|
*	Adding support for coq project file for setting coqdoc args.	Pierre Courtieu	2013-06-19
\| \| \| \|	second attempt, seems better (cleaner code).
*	Adding support for coq project file for setting coqdoc args.	Pierre Courtieu	2013-06-19
\| \| \| \|	First attempt, seems ok.
*	Authors of ML4PG	joheras	2013-05-31
\|
*	Removing files from ML4PG folder	joheras	2013-05-31
\|
*	Removing ML4PG files from coq folder.	joheras	2013-05-31
\|
*	Removing ML4PG files from coq folder.	joheras	2013-05-31
\|
*	Inclusion of ML4PG in coq.el file.	joheras	2013-05-31
\|
*	Moving ML4PG from coq directory to contrib directory.	joheras	2013-05-31
\|
*	Remove link in tar file.	David Aspinall	2013-05-31
\|
*	* empty log message *	joheras	2013-05-31
\|
*	Removing hidden files of ML4PG.	joheras	2013-05-31
\|
*	Removing hidden files from ML4PG.	joheras	2013-05-31
\|
*	ML4PG modification	joheras	2013-05-31
\|