proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Cleanups.	David Aspinall	2010-10-10
\|
*	Set version tag for new release.	David Aspinall	2010-10-10
\|
*	Update authors list (should have been in PG 4.0)	David Aspinall	2010-10-10
\|
*	Update to 4.1pre	David Aspinall	2010-10-10
\|
*	Set version tag for new release.	David Aspinall	2010-10-10
\|
*	Unify version number for new release	David Aspinall	2010-10-10
\|
*	clean: clean profile and test output	David Aspinall	2010-10-10
\|
*	Add a master debug flag, and disable debug output ordinarily.	David Aspinall	2010-10-10
\|
*	Fix debug message format	David Aspinall	2010-10-10
\|
*	Updated	David Aspinall	2010-10-10
\|
*	Update magic	David Aspinall	2010-10-10
\|
*	Update documenation of mouse bindings.	David Aspinall	2010-10-10
\| \| \| \| \|	Clean up documentation of holes a bit. Remove some dead comments.
*	Reenable LEGO since it's included in docs (needed for make magic)	David Aspinall	2010-10-10
\|
*	Disable lego and hol-light by default	David Aspinall	2010-10-10
\|
*	Updated	David Aspinall	2010-10-10
\|
*	Clarify Emacs 22 version	David Aspinall	2010-10-10
\|
*	Support Emacs 23.1+ only.	David Aspinall	2010-10-10
\|
*	Set version tag for new release.	David Aspinall	2010-10-10
\|
*	pg-span-name: improve docstring.	David Aspinall	2010-10-10
\| \| \| \| \|	proof-complete-buffer-atomic: simplify. Add debug message for parser cache.
*	pg-span-context-menu: add doc	David Aspinall	2010-10-10
\|
*	Activate debug message printing into log file	David Aspinall	2010-10-10
\|
*	Add some more tokens for making pretty pictures	David Aspinall	2010-10-10
\|
*	isar-user-tokens: add doc so user can see it when using customize	David Aspinall	2010-10-10
\|
*	coq-find-and-forget: Allow undoing prover processed regions	David Aspinall	2010-10-10
\| \| \| \| \| \|	(i.e. files locked by Require). Some progress towards #363, and at least stops an ugly type error when a Require'd file is retracted.
*	coq-generic-expression: fix this to match symbols, not merely words.	David Aspinall	2010-10-10
\| \| \| \|	Otherwise we only see first word of symbols using underscores!
*	Fix to last patch.	David Aspinall	2010-10-10
\|
*	proof-assert-electric-terminator: prevent adding terminator if point is ↵	David Aspinall	2010-10-10
\| \| \| \| \| \|	after it as well as before, as in PG 3.7. Fixes #371.
*	Adjust a comment on proof-shell-mode	David Aspinall	2010-10-10
\|
*	Update magic	David Aspinall	2010-10-08
\|
*	Improve autosend doc	David Aspinall	2010-10-08
\|
*	Remove developers note from docstring of togglers	David Aspinall	2010-10-08
\|
*	Add extra requires for compile to work on tty emacs (e.g. MacOS terminal emacs)	David Aspinall	2010-10-06
\|
*	No compile warning if image-size not available	David Aspinall	2010-10-06
\|
*	Clean up obsolete comments	David Aspinall	2010-10-04
\|
*	Fixes in strings/comments from Erik Martin-Dorel	David Aspinall	2010-10-04
\|
*	Comments	David Aspinall	2010-10-04
\|
*	Fully remove section for Coq-specific variables (coq-version-is-*	David Aspinall	2010-10-04
\|
*	coq-insert-solve-tactic: added (credit:Erik Martin-Dorel, patch from trac ↵	David Aspinall	2010-10-04
\| \| \| \|	#357). Docstring cleanups.
*	Set version tag for new release.	David Aspinall	2010-10-04
\|
*	Move mouse button bindings to avoid clashes (patch from Trac #365, Erik ↵	David Aspinall	2010-10-04
\| \| \| \|	Martin-Dorel)
*	Fix some mouse bindings	David Aspinall	2010-10-04
\|
*	Set version tag for new release.	David Aspinall	2010-10-01
\|
*	Document query identifier	David Aspinall	2010-10-01
\|
*	Failed attempt to fix font lock customizations for elisp	David Aspinall	2010-10-01
\|
*	proof-universal-keys: Add binding for pg-identifier-under-mouse-query.	David Aspinall	2010-10-01
\|
*	Add doc	David Aspinall	2010-10-01
\|
*	proof-script-new-command-advance: add back some indentation attempt	David Aspinall	2010-10-01
\| \| \| \| \|	auto sending: improve messages, bind autosend-running flag lexically in case of errors query identifier: use history variable, remove key bindings
*	Move utility span-make-modifying-removing-span to span.el	David Aspinall	2010-10-01
\|
*	Rename span-add-self-removing-span	David Aspinall	2010-10-01
\|
*	span-make-modifying-removing-span: add utility	David Aspinall	2010-10-01
\| \| \| \|	span-make-self-removing-span: rename from span-add-self-removing-span