proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Extended documentation for Tokens to explain layout control.	David Aspinall	2009-09-25
\| \| \| \|	Fix typo in Isar shortcuts. Add links in NEWS section.
*	pg-toggle-element-visibility: Add back `redraw-frame' call, it is	David Aspinall	2009-09-25
\| \| \| \|	needed here (possible Emacs bug)
*	More changes	David Aspinall	2009-09-21
\|
*	superdir	David Aspinall	2009-09-21
\|
*	Fix doc copy/clean.	David Aspinall	2009-09-21
\|
*	Fix clean targets	David Aspinall	2009-09-21
\|
*	Only distribute info file, not pdf	David Aspinall	2009-09-21
\|
*	Updates	David Aspinall	2009-09-21
\|
*	Add doc files and .elcs to distributed tarball	David Aspinall	2009-09-21
\|
*	tar -> $(TAR)	David Aspinall	2009-09-21
\|
*	Remove redisplay function call for Emacs, seems unnecssary.	David Aspinall	2009-09-21
\|
*	Add customize group unicode-tokens-options to faces top-level group.	David Aspinall	2009-09-21
\|
*	Set version tag for new release.	David Aspinall	2009-09-21
\|
*	Updated	David Aspinall	2009-09-21
\|
*	Add Hide/Show to extra modes menu	David Aspinall	2009-09-21
\|
*	Repair some of proof visibility handling	David Aspinall	2009-09-21
\| \| \| \|	pg-last-output-displayform: protect against single \n in last output
*	unicode-tokens-add-help-echo: add this customize option	David Aspinall	2009-09-21
\| \| \| \|	unicode-tokens-display-table: use this (experimental) for alternative ellipsis glyph
*	Functions to add buttons to buffer (initial attempt)	David Aspinall	2009-09-21
\|
*	Rearrange options, add customize user options to top level menu	David Aspinall	2009-09-21
\|
*	pg-identifier-near-point-query: make hover span have a high priority	David Aspinall	2009-09-21
\| \| \| \|	and self-delete.
*	Adjustments to better obey proof-follow-mode=ignore	David Aspinall	2009-09-20
\|
*	proof-script-clear-queue-spans-on-error: jump to start of error span	David Aspinall	2009-09-20
\| \| \| \|	(if proof-follow-mode suggests following locked region)
*	pg-set-span-helphighlights: add hook to delete help highlight	David Aspinall	2009-09-20
\| \| \| \|	on any edit (affects error spans and outdated help spans).
*	proof-unicode-tokens-enable: autoload so turning on Unicode tokens works	David Aspinall	2009-09-20
\|
*	Updated	David Aspinall	2009-09-20
\|
*	unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayed	David Aspinall	2009-09-20
\| \| \| \|	buffers to ensure font changes are seen (change for Mac)
*	Protect against error case	David Aspinall	2009-09-20
\|
*	* empty log message *	David Aspinall	2009-09-20
\|
*	* empty log message *	David Aspinall	2009-09-20
\|
*	proof-cmdstart-add-segment-for-cmd: classify all whitespace as a	David Aspinall	2009-09-20
\| \| \| \|	comment, not a command.
*	* empty log message *	David Aspinall	2009-09-17
\|
*	Updated	David Aspinall	2009-09-17
\|
*	Note	David Aspinall	2009-09-17
\|
*	Added some more syntax keywords. Made admit tactic with its own red	Pierre Courtieu	2009-09-17
\| \| \| \|	culpabilizing face.
*	Added some syntax keywords thanks to Mathieu Sozeau.	Pierre Courtieu	2009-09-17
\|
*	Fixed error highlighting with utf8.	Pierre Courtieu	2009-09-17
\|
*	Fix compile warnings	David Aspinall	2009-09-16
\|
*	Prevent warning on cl functions (cl functions called at runtime	David Aspinall	2009-09-16
\| \| \| \|	warning should not stop compilation).
*	Set version tag for new release.	David Aspinall	2009-09-16
\|
*	Fix logic handling delayed callbacks and silent stop/start	David Aspinall	2009-09-16
\|
*	pg-last-output-displayform: protect against empty string	David Aspinall	2009-09-16
\|
*	Fix back to default	David Aspinall	2009-09-15
\|
*	distcompile: don't ignore errors during compile	David Aspinall	2009-09-15
\|
*	Updated	David Aspinall	2009-09-15
\|
*	Fix doc	David Aspinall	2009-09-15
\|
*	Update docs	David Aspinall	2009-09-15
\|
*	Describe make scripts	David Aspinall	2009-09-15
\|
*	Default target: dont edit scripts	David Aspinall	2009-09-15
\|
*	Remove errant ^A	David Aspinall	2009-09-15
\|
*	Set version tag for new release.	David Aspinall	2009-09-15
\|