proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	proof-files-to-buffers, proof-locate-executable: simplify	David Aspinall	2009-09-04
\| \| \| \| \|	proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
*	Add text_raw	David Aspinall	2009-09-04
\|
*	Define some keys.	David Aspinall	2009-09-04
\|
*	Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-end	David Aspinall	2009-09-04
\|
*	proof-looking-at-syntactic-context: moved to proof-utils because of macro use	David Aspinall	2009-09-04
\|
*	proof-files-to-buffers, proof-locate-executable: simplify	David Aspinall	2009-09-04
\| \| \| \| \|	proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
*	Hide echo	David Aspinall	2009-09-04
\|
*	Remove configuration of obsolete package function-menu (aka "fume")	David Aspinall	2009-09-04
\|
*	Remove configuration of obsolete package function-menu (aka "fume")	David Aspinall	2009-09-04
\|
*	require 'cl -> eval-when-compile	David Aspinall	2009-09-04
\|
*	Possible bug in interrupt signaling discovered	David Aspinall	2009-09-04
\|
*	capitalisation	David Aspinall	2009-09-04
\|
*	Further simplification	David Aspinall	2009-09-04
\|
*	Simplify splash using view-mode and newer Emacs variables.	David Aspinall	2009-09-04
\| \| \| \| \|	Remove timeout from About usage to avoid confusion with disappearing window with mouse events.
*	Remove left over comint-isms	David Aspinall	2009-09-04
\|
*	Refactoring point movement commands (in progress). Remove proof-no-command.	David Aspinall	2009-09-04
\|
*	Support for Emacs22	David Aspinall	2009-09-04
\|
*	Remove proof-no-command	David Aspinall	2009-09-04
\|
*	comment	David Aspinall	2009-09-04
\|
*	Use scomint instead of comint	David Aspinall	2009-09-04
\|
*	Remove further unnecessary compatibility code.	David Aspinall	2009-09-04
\|
*	Profile settings	David Aspinall	2009-09-04
\|
*	Trimmed down comint	David Aspinall	2009-09-04
\|
*	Remove objectionable \|> shortcut for Isar hackers	David Aspinall	2009-09-03
\|
*	Shorten startup message	David Aspinall	2009-09-03
\|
*	output-font-lock-keywords: remove unnecessary brackets	David Aspinall	2009-09-03
\|
*	Fix font-lock output keywords for tvars starting ?'	David Aspinall	2009-09-03
\|
*	Isabelle2008 compatibility;	Makarius Wenzel	2009-09-02
\|
*	proper backslash escape;	Makarius Wenzel	2009-09-02
\|
*	Pointers for Mac support	David Aspinall	2009-09-01
\|
*	Set version tag for new release.	David Aspinall	2009-09-01
\|
*	Updates	David Aspinall	2009-09-01
\|
*	Remove some old X-Symbol references.	David Aspinall	2009-09-01
\|
*	Attempt to make compatible with Mac OS X port of Emacs 23.	David Aspinall	2009-09-01
\|
*	Remove some old X-Symbol references.	David Aspinall	2009-09-01
\|
*	Remove some old X-Symbol references; update docs.	David Aspinall	2009-09-01
\|
*	Spurious 'isabelle ref.	David Aspinall	2009-09-01
\|
*	Remove (commented out) x-symbol configuration	David Aspinall	2009-09-01
\|
*	Comment about GNU Emacs port	David Aspinall	2009-09-01
\|
*	Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where ↵	Christophe Raffalli	2009-09-01
\| \| \| \|	proof-mode-for-script seems undefined
*	hack with phox-prog-name and phox-prog-name-guess to have this phox folder ↵	Christophe Raffalli	2009-09-01
\| \| \| \|	working with PG 3.7
*	Removed support for x-symbol (I do not like it because it changes the buffer ↵	Christophe Raffalli	2009-09-01
\| \| \| \| \| \| \| \|	content !) sym-lock is still available on xemacs only various other bug fix.
*	Unnecessary test	David Aspinall	2009-08-31
\|
*	Update versions	David Aspinall	2009-08-31
\|
*	Updated	David Aspinall	2009-08-31
\|
*	Fix unicode-tokens-script-font-face	David Aspinall	2009-08-31
\|
*	Support mouse font selection in Emacs 22.	David Aspinall	2009-08-31
\| \| \| \|	Fix interface to custom, saved faces are in .emacs, not current buffer(!).
*	Add Emacs 23 warning.	David Aspinall	2009-08-31
\|
*	Experiments improving defaults	David Aspinall	2009-08-31
\|
*	Pointer to Stix fonts	David Aspinall	2009-08-31
\|