proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Clean	David Aspinall	2008-01-22
\|
*	New files.	David Aspinall	2008-01-22
\|
*	Disable removal from input history	David Aspinall	2008-01-17
\|
*	Set version tag for new release.	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	Fix typo.	David Aspinall	2008-01-17
\|
*	Also wait on pg-custom before running proof-set-value.	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	XEmacs comp error: obscure undefined define-key-after comes from ↵	David Aspinall	2008-01-17
\| \| \| \|	proof-maths-menu.
*	Prevent proof-set-value from operating during compilation.	David Aspinall	2008-01-17
\|
*	Not batch for debug	David Aspinall	2008-01-17
\|
*	Fix requires	David Aspinall	2008-01-17
\|
*	Comment	David Aspinall	2008-01-17
\|
*	Mention no experimental features	David Aspinall	2008-01-17
\|
*	Enable Lego again, its needed for documentation(\!)	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	Updated keybinding syntax	David Aspinall	2008-01-17
\|
*	Docstring	David Aspinall	2008-01-17
\|
*	Support spans-at-region-prop.	David Aspinall	2008-01-17
\|
*	Avoid some compilation/warnings	David Aspinall	2008-01-17
\|
*	Revert to more reliable true eval-when (compile)	David Aspinall	2008-01-17
\|
*	Use featurep test for XEmacs. Set proof-shell-indentifier-under-mouse-cmd.	David Aspinall	2008-01-17
\|
*	Fix included file	David Aspinall	2008-01-17
\|
*	Update dates	David Aspinall	2008-01-17
\|
*	Update documentation. Credits, dates, input ring.	David Aspinall	2008-01-17
\|
*	Update for new startup mechanism.	David Aspinall	2008-01-17
\|
*	Fix typo.	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	Add pg-input-ring-size.	David Aspinall	2008-01-17
\|
*	Remove dummy defvars, which cause errors if proof-menu is required during ↵	David Aspinall	2008-01-17
\| \| \| \|	compile. Add keybindings for history. Move About menu item.
*	Prevent font-lock complaining about not being setup.	David Aspinall	2008-01-17
\|
*	Add input history ring. Cleanup comments.	David Aspinall	2008-01-17
\|
*	Prevent loading early in interpreted code: simulate proper eval-when (compile)	David Aspinall	2008-01-17
\|
*	Split define keys to match keymap files	David Aspinall	2008-01-17
\|
*	Splash for a bit longer: people complain its too short	David Aspinall	2008-01-17
\|
*	Updated.	David Aspinall	2008-01-17
\|
*	Reduce compiler warnings. Minor fixes.	David Aspinall	2008-01-16
\|
*	Tweak version differentiation for compilation	David Aspinall	2008-01-16
\|
*	Set version tag for new release.	David Aspinall	2008-01-16
\|
*	Compilation tweaks	David Aspinall	2008-01-16
\|
*	Cleanup compilation and documentation. Possible fix/break in ↵	David Aspinall	2008-01-16
\| \| \| \|	pg-pbrpm-get-region-info (only looked at START).
*	Cleanup compile	David Aspinall	2008-01-16
\|
*	New files.	David Aspinall	2008-01-16
\|
*	Updated.	David Aspinall	2008-01-16
\|
*	Updated.	David Aspinall	2008-01-16
\|
*	Fix compilation: need proof-utils	David Aspinall	2008-01-16
\|
*	Comments.	David Aspinall	2008-01-16
\|
*	Revert 8.18: font-lock-append-text-property merges faces better.	David Aspinall	2008-01-16
\|
*	Updated.	David Aspinall	2008-01-16
\|
*	Updated.	David Aspinall	2008-01-16
\|