proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Hint about changing prompt	David Aspinall	2012-01-20
*	Temporary commit to share file, this is work in progress for Prooftree	David Aspinall	2012-01-19
*	Add file from Mark	David Aspinall	2012-01-19
*	Patch needed temporarily to avoid rebuild of Prooftree	David Aspinall	2012-01-19
*	Typo	David Aspinall	2012-01-19
*	Update documentation	David Aspinall	2012-01-19
*	Added some detail on the indentation limitation in the CHANGE.	Pierre Courtieu	2012-01-18
*	Fixed a small bug in indentation (ter repetita). Bullets are indented	Pierre Courtieu	2012-01-18
*	Fixed a small bug in indentation (bis repetita).	Pierre Courtieu	2012-01-18
*	Fixed a small bug in indentation.	Pierre Courtieu	2012-01-18
*	lower cpu utilization of splash screen, see Debian bug #642048	Hendrik Tews	2012-01-14
*	Set version tag for new release.	David Aspinall	2012-01-12
*	Fix typo, mention HOL Light	David Aspinall	2012-01-12
*	Adjust license to CC-BY-SA-3	David Aspinall	2012-01-11
*	Set version tag for new release.	David Aspinall	2012-01-10
*	Tweak message and display model, in particular, make sure that when a	David Aspinall	2012-01-10
*	Note about make -j for parallel compilation	David Aspinall	2012-01-10
*	Emphasise importance of Trac	David Aspinall	2012-01-10
*	Mention critical Emacs bug which destroys characters in certain	David Aspinall	2012-01-10
*	Add documentation for proof-shell-trace-output-regexp (Trac #432) and	David Aspinall	2012-01-10
*	Support proof-shell-interactive-prompt-regexp, ref Trac #430	David Aspinall	2012-01-10
*	Improve configuration for HOL Light. Allow goals display to be prefixed by i...	David Aspinall	2012-01-09
*	proof-shell-start-goals-regexp: shy match to avoid introducing match group	David Aspinall	2012-01-09
*	proof-shell-end-goals-regexp doc: fix inaccuracy, goals always start	David Aspinall	2012-01-09
*	Make configuration settings. Tweak error regexp.	David Aspinall	2012-01-06
*	Update variable docs. Use HOL Light instead of HOL98.	David Aspinall	2012-01-05
*	Temporarily enable HOL Light globally for testing	David Aspinall	2012-01-05
*	Some fixes to get a working instance for HOL Light. Work in progress.	David Aspinall	2012-01-05
*	* fix case where some existential is instantiated with the last proof command	Hendrik Tews	2012-01-04
*	Set version tag for new release.	David Aspinall	2012-01-04
*	Add link to Prooftree download	David Aspinall	2012-01-04
*	Add News for Version 4.2	David Aspinall	2012-01-03
*	Remove unused variable	David Aspinall	2012-01-03
*	hide the dependent evars line	Hendrik Tews	2012-01-03
*	update CHANGES	Hendrik Tews	2012-01-03
*	update TAGS	Hendrik Tews	2012-01-03
*	merge ProofTreeBranch into main trunk:	Hendrik Tews	2012-01-03
*	Add big Integral	David Aspinall	2011-12-27
*	Extra test	David Aspinall	2011-12-27
*	Typo	David Aspinall	2011-12-27
*	Will release 4.2 next, after all	David Aspinall	2011-12-23
*	Fixed some regexp. One for goal closing detection and one for	Pierre Courtieu	2011-12-16
*	Adapting coq syntax recognition to the future v8.4 behavior of bullets	Pierre Courtieu	2011-12-16
*	Set version tag for new release.	David Aspinall	2011-12-07
*	- protect proof-shell-handle-delayed-output against the case where	Hendrik Tews	2011-12-07
*	fix a log of broken customization types	Hendrik Tews	2011-12-06
*	use the start of proof-shell-end-goals-regexp, as documented	Hendrik Tews	2011-12-06
*	ensure optim-resp-window does not change the current buffer	Hendrik Tews	2011-12-06
*	Applied a patch from Tom Prince which makes	Pierre Courtieu	2011-12-05
*	Quick stab at support for switching to proof shell when interactive support e...	David Aspinall	2011-11-15