proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fixup icons	David Aspinall	2007-12-12
\|
*	Cleanup	David Aspinall	2007-12-12
\|
*	Remove low color-depth images; use GNU Emacs-specific toolbar images	David Aspinall	2007-12-12
\|
*	Updated.	David Aspinall	2007-12-12
\|
*	New files.	David Aspinall	2007-12-12
\|
*	x-symbol-use-unicode customizable	David Aspinall	2007-12-11
\|
*	Updated.	David Aspinall	2007-12-11
\|
*	Deleted file	David Aspinall	2007-12-11
\|
*	Updated.	David Aspinall	2007-12-11
\|
*	Deleted file	David Aspinall	2007-12-11
\|
*	Pruned buttons	David Aspinall	2007-12-11
\|
*	Deleted file	David Aspinall	2007-12-11
\|
*	New files.	David Aspinall	2007-12-11
\|
*	Cleanup	David Aspinall	2007-12-10
\|
*	Comments.	David Aspinall	2007-12-10
\|
*	Comments.	David Aspinall	2007-12-10
\|
*	Updated.	David Aspinall	2007-12-10
\|
*	New files.	David Aspinall	2007-12-10
\|
*	Protect usage of list-fonts, unknown function	David Aspinall	2007-12-10
\|
*	Modify buffer-invisibility-spec to work smoothly with X-Symbol/Emacs	David Aspinall	2007-12-10
\|
*	Enable invisible font lock property for Emacs now, reveal invisible seems to ↵	David Aspinall	2007-12-10
\| \| \| \|	work OK.
*	GNU Emacs compat: buffer-substring	David Aspinall	2007-12-10
\|
*	Fix parens	David Aspinall	2007-12-10
\|
*	Emacs compatibility/API updates: string-to-int -> string-to-number	David Aspinall	2007-12-10
\|
*	GNU Emacs: delete-backward-char needs an argument	David Aspinall	2007-12-10
\|
*	GNU Emacs: insert-string -> insert	David Aspinall	2007-12-10
\|
*	Fix compile errors	David Aspinall	2007-12-10
\|
*	proof-x-symbol-initialize: fix default mode name construction	David Aspinall	2007-12-10
\|
*	proof-general-version-year: update	David Aspinall	2007-12-10
\|
*	Fix string quoting	David Aspinall	2007-12-10
\|
*	texi-docstring-magic-insert-magic: fix for GNU Emacs name: ↵	David Aspinall	2007-12-10
\| \| \| \|	function-called-at-point
*	span-give-warning: consistency with span-overlay.el	David Aspinall	2007-12-10
\|
*	Fix use of erase-buffer for GNU Emacs	David Aspinall	2007-12-10
\|
*	Comments.	David Aspinall	2007-12-10
\|
*	Fix some compile warnings: use of error, customization groups	David Aspinall	2007-12-10
\|
*	Updated.	David Aspinall	2007-12-10
\|
*	Set version tag for new release.	David Aspinall	2007-12-10
\|
*	Shorten tooltip	David Aspinall	2007-12-10
\|
*	Fixup some compile warnings	David Aspinall	2007-12-09
\|
*	Fix typo.	David Aspinall	2007-12-09
\|
*	New files.	David Aspinall	2007-12-09
\|
*	Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts ↵	David Aspinall	2007-12-09
\| \| \| \|	to pg-xml.el
*	Update bug report locations	David Aspinall	2007-12-09
\|
*	Nuke some compile warnings	David Aspinall	2007-12-09
\|
*	Updated.	David Aspinall	2007-12-09
\|
*	Fix walkthrough to match Isabelle 2007	David Aspinall	2007-12-09
\|
*	Comments.	David Aspinall	2007-12-09
\|
*	More dirs for TAGS	David Aspinall	2007-12-09
\|
*	Comment unused function	David Aspinall	2007-12-09
\|
*	Patch for buggy derived.el in XEmacs 21.5.b28	David Aspinall	2007-12-09
\|