proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Many rearrangements for compatibility, efficient/correct compilation, ↵	David Aspinall	2008-01-15
\| \| \| \| \| \| \|	namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
*	New files.	David Aspinall	2008-01-15
\|
*	New files.	David Aspinall	2008-01-15
\|
*	Remove architecture flags. Remove proof-pre-shell-start and proof-mode-for- ↵	David Aspinall	2008-01-14
\| \| \| \|	settings.
*	New files.	David Aspinall	2008-01-14
\|
*	Remove font lock settings for now	David Aspinall	2008-01-14
\|
*	New files.	David Aspinall	2008-01-13
\|
*	Update	David Aspinall	2008-01-05
\|
*	Deleted file	David Aspinall	2008-01-05
\|
*	Updated.	David Aspinall	2008-01-05
\|
*	Deleted file	David Aspinall	2008-01-05
\|
*	Fixed abbrev installation. + small fixes.	Pierre Courtieu	2008-01-03
\|
*	Fixed the "proof completed" regexp.	Pierre Courtieu	2008-01-03
\|
*	Fixed something wrong. Probably a file missing (proof-system.el ?).	Pierre Courtieu	2008-01-03
\|
*	Deleted file	David Aspinall	2007-12-14
\|
*	Prevent magic during dist	David Aspinall	2007-12-14
\|
*	Ignore errors in bytecomp	David Aspinall	2007-12-14
\|
*	Let broken compilation proceed for now	David Aspinall	2007-12-14
\|
*	Require for defface macro	David Aspinall	2007-12-14
\|
*	Allow blank lines in quoted regions again.	David Aspinall	2007-12-14
\|
*	Update docstring magic	David Aspinall	2007-12-14
\|
*	More doc tidy	David Aspinall	2007-12-14
\|
*	Remove ancient idea for proof-atomic-sequence-lists	David Aspinall	2007-12-14
\|
*	Cleanups with M-x checkdoc.	David Aspinall	2007-12-14
\|
*	Fix matching of quoted regions with empty lines	David Aspinall	2007-12-14
\|
*	More email -> trac renames	David Aspinall	2007-12-14
\|
*	Set version tag for new release.	David Aspinall	2007-12-14
\|
*	Updated.	David Aspinall	2007-12-14
\|
*	Updated.	David Aspinall	2007-12-14
\|
*	Move x-symbol-isabelle -> x-symbol-isar to simplify setup.	David Aspinall	2007-12-14
\|
*	Deleted file	David Aspinall	2007-12-14
\|
*	New files.	David Aspinall	2007-12-14
\|
*	Typo in pg-special-char-regexp	David Aspinall	2007-12-14
\|
*	Add compilation dependency	David Aspinall	2007-12-14
\|
*	Fix compilation problems and rearrange startup settings for ↵	David Aspinall	2007-12-14
\| \| \| \|	coq-prog-name,coq-prog-args
*	Updated.	David Aspinall	2007-12-14
\|
*	Be stricter about byte compilation: compile separately and halt on errors	David Aspinall	2007-12-14
\|
*	Removed file	David Aspinall	2007-12-14
\|
*	Move x-symbol-language here	David Aspinall	2007-12-14
\|
*	Cleanup coding system setting, comments	David Aspinall	2007-12-14
\|
*	Move x-symbol-language to avoid eval of proof-assistant-symbol; move ↵	David Aspinall	2007-12-14
\| \| \| \|	proof-face-specs to proof-utils
*	proof-associated-windows: rewrite naively to remove proof-list-filter	David Aspinall	2007-12-14
\|
*	Move proof-face-specs here, remove proof-list-filter	David Aspinall	2007-12-14
\|
*	x-symbol-isabelle-prepare-table: specialise to Isar (usefully removes ↵	David Aspinall	2007-12-14
\| \| \| \|	dependence on proof-assistant-symbol)
*	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.