proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	* generic/pg-user.el (which-func-modes): Fix compiler declaration.	Stefan Monnier	2012-06-29
*	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
*	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
*	let proof-retract-buffer only move point when called interactively	Hendrik Tews	2012-05-31
*	kill windows showing response and goals buffers on proof-shell-exit	Hendrik Tews	2012-05-24
*	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
*	enable compilation of generic/proof-autoloads.el	Hendrik Tews	2012-04-19
*	Set version tag for new release.	David Aspinall	2012-04-11
*	fix compilation with emacs23-nox of Debian	Hendrik Tews	2012-03-01
*	proof-shell-start: initialise associated buffers before shell mode, so in rig...	David Aspinall	2012-02-08
*	Bump year	David Aspinall	2012-02-07
*	New pseudo instances to help tool demonstrators in ocaml/ghci (in progress)	David Aspinall	2012-02-07
*	Set version tag for new release.	David Aspinall	2012-02-06
*	make sure extra modes available	David Aspinall	2012-01-23
*	Typo	David Aspinall	2012-01-19
*	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
*	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
*	Improve configuration for HOL Light. Allow goals display to be prefixed by i...	David Aspinall	2012-01-09
*	proof-shell-end-goals-regexp doc: fix inaccuracy, goals always start	David Aspinall	2012-01-09
*	Temporarily enable HOL Light globally for testing	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
*	merge ProofTreeBranch into main trunk:	Hendrik Tews	2012-01-03
*	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
*	Quick stab at support for switching to proof shell when interactive support e...	David Aspinall	2011-11-15
*	Add fix and regression test for Trac #138	David Aspinall	2011-10-17
*	Set version tag for new release.	David Aspinall	2011-10-17
*	Attempt to support stricter bytecomp flags	David Aspinall	2011-10-17
*	Remove dependency of pg-movie on pg-user	David Aspinall	2011-10-17
*	Set version tag for new release.	David Aspinall	2011-10-13
*	Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...	David Aspinall	2011-10-13
*	To fix pgshell mode, restore proof-shell-insert support for a single string a...	David Aspinall	2011-10-13
*	Set version tag for new release.	David Aspinall	2011-10-03
*	fix #426	Hendrik Tews	2011-09-27
*	Set version tag for new release.	David Aspinall	2011-09-19
*	proof-full-annotation: default to nil	David Aspinall	2011-09-18
*	Set version tag for new release.	David Aspinall	2011-09-16
*	fix #421 with solution 1	Hendrik Tews	2011-09-14
*	proof-electric-terminator: allow a prefix argument to avoid electric action.	David Aspinall	2011-09-14
*	# User Robin Green <greenrd@greenrd.org>	David Aspinall	2011-09-14
*	Fix typo	David Aspinall	2011-09-14
*	Remove contentious call to set-process-query-on-exit-flag, ref Trac#424	David Aspinall	2011-09-14