proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Completed documentation for file variables.	Pierre Courtieu	2012-06-19
*	Fix a bug in coq indet code when at the beginning of a buffer.	Pierre Courtieu	2012-06-14
*	Trying to minimize the slowness of indentation when no "Proof." is	Pierre Courtieu	2012-06-11
*	Fixing indentation details for coq. All known bugs seems fixed.	Pierre Courtieu	2012-06-10
*	Fixing indentation details for coq.	Pierre Courtieu	2012-06-10
*	Still fixing indentation details for coq.	Pierre Courtieu	2012-06-10
*	Still fixing indentation (operator precedences) details for coq.	Pierre Courtieu	2012-06-10
*	Still fixing indentation details for coq.	Pierre Courtieu	2012-06-10
*	Made a small change in generic code about the setting of	Pierre Courtieu	2012-06-09
*	Summary: Handle the new t value of which-func-modes.	Stefan Monnier	2012-06-08
*	Indentation is a bit more accurate.	Pierre Courtieu	2012-06-08
*	Fix a bug of indentation in presence of comment. Probably due to a bad	Pierre Courtieu	2012-06-07
*	Fix indentation of dependent match clauses (as ... in ... return ...).	Pierre Courtieu	2012-06-07
*	Fixing a bug with the indentation of qualified names.	Pierre Courtieu	2012-06-06
*	Trying to fix some minor indentation bugs with infox operators.	Pierre Courtieu	2012-06-06
*	Set version tag for new release.	David Aspinall	2012-06-05
*	hide cursor in non-selected goals and response buffers	Hendrik Tews	2012-06-04
*	One more fix for indentation.	Pierre Courtieu	2012-06-04
*	Fixing indentation (same bug than 2 previous commits). this time it seems ok.	Pierre Courtieu	2012-06-04
*	Fixing the last fix on indentation. Still not perfect.	Pierre Courtieu	2012-06-04
*	Fix a bug of indentation.	Pierre Courtieu	2012-06-03
*	let proof-retract-buffer only move point when called interactively	Hendrik Tews	2012-05-31
*	Fix of a bug. coq id can start with underscore.	Pierre Courtieu	2012-05-31
*	- erase invalid coq-load-path entry format '("dir")	Hendrik Tews	2012-05-29
*	another hide additional subgoals fix	Hendrik Tews	2012-05-26
*	kill windows showing response and goals buffers on proof-shell-exit	Hendrik Tews	2012-05-24
*	fix "Hide Additional Subgoals" for coq 8.4beta	Hendrik Tews	2012-05-24
*	fix typo + add one missing cvsignore	Hendrik Tews	2012-05-09
*	Use proof-add-to-load-path to extend load-path. This way,	Hendrik Tews	2012-05-08
*	Set version tag for new release.	David Aspinall	2012-04-30
*	Change default Unicode Tokens font back to DejaVU Sans, more reliable without...	David Aspinall	2012-04-30
*	enable compilation of generic/proof-autoloads.el	Hendrik Tews	2012-04-19
*	Set version tag for new release.	David Aspinall	2012-04-11
*	Drop support for Emacs 23.1 and earlier	David Aspinall	2012-04-06
*	Fix compile error, Trac #437.	David Aspinall	2012-04-06
*	remove deprecated desktop keys	Hendrik Tews	2012-03-05
*	support DESTDIR in make install	Hendrik Tews	2012-03-05
*	fix compilation with emacs23-nox of Debian	Hendrik Tews	2012-03-01
*	Remove option aspect of 'finfo' datatype, and rename datatype to 'mldata'.	mark	2012-02-24
*	Altered graph .dot export so that nodes are displayed as their tactic.	mark	2012-02-23
*	Allocate jobs!	David Aspinall	2012-02-23
*	* empty log message *	mark	2012-02-23
*	Capability for exporting .dot files added.	mark	2012-02-23
*	Various small improvements to capability	mark	2012-02-21
*	* empty log message *	David Aspinall	2012-02-21
*	* empty log message *	David Aspinall	2012-02-21
*	* empty log message *	David Aspinall	2012-02-21
*	First version of HOL Light tactic recording.	mark	2012-02-16
*	fix coqdep error recognition	Hendrik Tews	2012-02-13
*	Fixed an ineficiency in comment detection.	Pierre Courtieu	2012-02-10