proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
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-02	Isabelle2008 compatibility;	Makarius Wenzel

2009-09-02	proper backslash escape;	Makarius Wenzel

2009-09-01	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
	proof-mode-for-script seems undefined
2009-09-01	hack with phox-prog-name and phox-prog-name-guess to have this phox folder ↵	Christophe Raffalli
	working with PG 3.7
2009-09-01	Removed support for x-symbol (I do not like it because it changes the buffer ↵	Christophe Raffalli
	content !) sym-lock is still available on xemacs only various other bug fix.
2009-08-31	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
	Fix interface to custom, saved faces are in .emacs, not current buffer(!).
2009-08-31	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
	as not reliable; extra work needed on both sides. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/277
2009-08-31	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-30	Support dynamic customization. Add additional shortcuts handy for ↵	David Aspinall
	symbolizing old files.
2009-08-30	Improve and extend font configuration. Add ↵	David Aspinall
	unicode-tokens-replace-shortcut-match.
2009-08-29	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-28	isar-nonwrap-regexp: ML should work (note that there are many ML commands);	Makarius Wenzel
	added separate isar-string-wrapping; isar-positions-of: isar-string-wrapping of file name -- to make double sure;
2009-08-28	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