proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Rename: proof-show-debug-messages -> proof-general-debug.	David Aspinall	2007-12-14
\|
*	Rename: proof-show-debug-messages -> proof-general-debug.	David Aspinall	2007-12-14
\|
*	Rename: proof-show-debug-messages -> proof-general-debug. Optimise ↵	David Aspinall	2007-12-14
\| \| \| \|	pg-remove-specials.
*	Rename: proof-show-debug-messages -> proof-general-debug	David Aspinall	2007-12-14
\|
*	Use proof-shell-unicode to control whether bytes 128-255 are stripped from ↵	David Aspinall	2007-12-14
\| \| \| \|	output.
*	Add proof-shell-set-text-representation to disable multibyte characters in ↵	David Aspinall	2007-12-14
\| \| \| \|	legacy case. Use proof-shell-unicode to control whether bytes 128-255 are stripped from output.
*	Remove eval-when, seems unreliable	David Aspinall	2007-12-14
\|
*	Comments.	David Aspinall	2007-12-14
\|
*	Munging with input/output encoding; try to make consistent.	David Aspinall	2007-12-14
\|
*	Add note about x-symbol-set-face-font for emacs22u	David Aspinall	2007-12-14
\|
*	Clarify error messages during compile	David Aspinall	2007-12-14
\|
*	Remove response history (delay for 3.7.1). Promote speedbar	David Aspinall	2007-12-14
\|
*	Attempt to fix compile problems	David Aspinall	2007-12-14
\|
*	Updated.	David Aspinall	2007-12-14
\|
*	Improve loading; these tests are not functioning yet	David Aspinall	2007-12-14
\|
*	Add eval-when	David Aspinall	2007-12-14
\|
*	Prevent compile error on atomic-extents	David Aspinall	2007-12-14
\|
*	coq-goal-command-str-p: Fix suspected typo shown up by compile warning.	David Aspinall	2007-12-14
\|
*	Remove overriding BYTECOMP definition	David Aspinall	2007-12-14
\|
*	Make value of pg-special-char-regexp depend on proof-shell-unicode.	David Aspinall	2007-12-14
\| \| \| \|	This makes sure that stripping special characters from output is accurate.
*	Tune some comments. Remove annotations in processed text from	David Aspinall	2007-12-14
\| \| \| \|	shell buffer. Supports copy-and-paste, fixing trac #112.
*	Prevent attempt to use on XEmacs	David Aspinall	2007-12-14
\|
*	Add dynamic enable/disable function for proof-keep-response-history	David Aspinall	2007-12-13
\|
*	Updated.	David Aspinall	2007-12-13
\|
*	Improvements (widget sketch; modeline). Logic still faulty.	David Aspinall	2007-12-13
\|
*	Updated.	David Aspinall	2007-12-13
\|
*	Account for removed files	David Aspinall	2007-12-13
\|
*	holes-skeleton-end-hook: no action if mmm-inside-insert-by-key bound	David Aspinall	2007-12-13
\|
*	mmm-insert-by-key: add an indicator to holes.el to prevent it adding holes	David Aspinall	2007-12-13
\|
*	Remvoe typo	David Aspinall	2007-12-13
\|
*	Cleanup. Add more insertion commands.	David Aspinall	2007-12-13
\|
*	Bind coqdoc-html to C-c % w to avoid clash with help key.	David Aspinall	2007-12-13
\|
*	Comment the removal of the call to toggle-enable-multibyte-characters.	David Aspinall	2007-12-13
\|
*	New files.	David Aspinall	2007-12-13
\|
*	New files.	David Aspinall	2007-12-13
\|
*	Deleted file	David Aspinall	2007-12-13
\|
*	Updated.	David Aspinall	2007-12-13
\|
*	Add Gerwin	David Aspinall	2007-12-13
\|
*	Add makarius=markus	David Aspinall	2007-12-13
\|
*	Add assia	David Aspinall	2007-12-13
\|
*	Renamed file	David Aspinall	2007-12-13
\|
*	Updated.	David Aspinall	2007-12-13
\|
*	Deleted file	David Aspinall	2007-12-13
\|
*	Complete maths menu addition	David Aspinall	2007-12-13
\|
*	Remove qed/goal from toolbar; use info icon. Add maths-menu custom var.	David Aspinall	2007-12-13
\|
*	Fix antialising	David Aspinall	2007-12-12
\|
*	Fix icon sizes, antialising	David Aspinall	2007-12-12
\|
*	x-symbol-invisible-font: Prevent using invisible font if have got ↵	David Aspinall	2007-12-12
\| \| \| \|	x-symbol-emacs-has-font-lock-with-props
*	Updated.	David Aspinall	2007-12-12
\|
*	Deleted file	David Aspinall	2007-12-12
\|