proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	Update docs	David Aspinall	2009-08-31
\|
*	Doc fixes	David Aspinall	2009-08-31
\|
*	Prevent reporting column number back to Isabelle process	David Aspinall	2009-08-31
\| \| \| \| \|	as not reliable; extra work needed on both sides. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/277
*	Updated	David Aspinall	2009-08-31
\|
*	Merge in Isar and Coq bugs	David Aspinall	2009-08-31
\|
*	Quick fix to isar-remove-file, see trac #274	David Aspinall	2009-08-31
\|
*	Made customizable holes mode completion in abbreviations.	Pierre Courtieu	2009-08-31
\|
*	Clean up IGNOREDFILES a bit	David Aspinall	2009-08-31
\|
*	Set version tag for new release.	David Aspinall	2009-08-31
\|
*	Fix home	David Aspinall	2009-08-31
\|
*	Tokenize	David Aspinall	2009-08-31
\|
*	Add custom doc	David Aspinall	2009-08-31
\|
*	isar-symbol-shortcuts: add customization	David Aspinall	2009-08-31
\|
*	Remove over-enthusiastic single-character shortcuts	David Aspinall	2009-08-31
\|
*	Attribution	David Aspinall	2009-08-31
\|