proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Disable large symbol font for now	David Aspinall	2009-08-31
\|
*	Support dynamic customization. Add additional shortcuts handy for ↵	David Aspinall	2009-08-30
\| \| \| \|	symbolizing old files.
*	Improve and extend font configuration. Add ↵	David Aspinall	2009-08-30
\| \| \| \|	unicode-tokens-replace-shortcut-match.
*	Cleanup of interactive point moving functions (in progress)	David Aspinall	2009-08-29
\|
*	isar-positions-of: skip whitespace before command start	David Aspinall	2009-08-29
\|
*	isar-nonwrap-regexp: ML should work (note that there are many ML commands);	Makarius Wenzel	2009-08-28
\| \| \| \| \|	added separate isar-string-wrapping; isar-positions-of: isar-string-wrapping of file name -- to make double sure;
*	pg-create-in-span-context-menu: fix nesting	David Aspinall	2009-08-28
\|
*	Fix compile warnings	David Aspinall	2009-08-28
\|
*	Update autoloads	David Aspinall	2009-08-28
\|
*	Move fontsymb properties to library file.	David Aspinall	2009-08-28
\|
*	Add convenience function for profiling	David Aspinall	2009-08-28
\|
*	Add a font	David Aspinall	2009-08-28
\|