proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	proof-clean-buffer: inhibit read only	David Aspinall	2009-09-06
\|
*	Remove comment	David Aspinall	2009-09-06
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	replace-in-string -> replace-regexp-in-string	David Aspinall	2009-09-04
\|
*	Alternative implementation of pg-remove-specials which does not introduce ↵	David Aspinall	2009-09-04
\| \| \| \|	restriction.
*	proof-files-to-buffers, proof-locate-executable: simplify	David Aspinall	2009-09-04
\| \| \| \| \|	proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
*	Unnecessary test	David Aspinall	2009-08-31
\|
*	pg-current-word-pos: add for convenience in identifier query function	David Aspinall	2009-08-14
\|
*	Add proof state hover messages to proof script, along with useful customization.	David Aspinall	2009-05-26
\|
*	Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor ↵	David Aspinall	2009-05-26
\| \| \| \|	cleanups
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	comment: proof-compat not needed for pg-defface-window-systems (but leave in ↵	David Aspinall	2008-01-31
\| \| \| \|	now)
*	Move version check in case proof-site.el is loaded, not proof-site.elc	David Aspinall	2008-01-31
\|
*	Support decoding of unicode tokens in output	David Aspinall	2008-01-28
\|
*	proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitches	David Aspinall	2008-01-25
\| \| \| \|	with XEmacs progress bar.
*	Commentary: move compile notes to etc/development-tips.txt	David Aspinall	2008-01-25
\|
*	Reduce compiler warnings. Minor fixes.	David Aspinall	2008-01-16
\|
*	Comments.	David Aspinall	2008-01-16
\|
*	Simplify font lock settings, removing proof-font-lock-case-fold-search	David Aspinall	2008-01-15
\|
*	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).
*	Move x-symbol-language to avoid eval of proof-assistant-symbol; move ↵	David Aspinall	2007-12-14
\| \| \| \|	proof-face-specs to proof-utils
*	Move proof-face-specs here, remove proof-list-filter	David Aspinall	2007-12-14
\|
*	Rename: proof-show-debug-messages -> proof-general-debug. Optimise ↵	David Aspinall	2007-12-14
\| \| \| \|	pg-remove-specials.
*	Fix string quoting	David Aspinall	2007-12-10
\|
*	Fix to proof-defintset-fn so that correct current value is displayed.	David Aspinall	2007-08-19
\|
*	Note trac generic user pgemacs/pgemacs	David Aspinall	2007-05-10
\|
*	pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ↵	David Aspinall	2007-05-10
\| \| \| \|	messages.
*	Experimenting smarter window creation when in three windows	Pierre Courtieu	2007-04-27
\| \| \| \|	mode. Strategy is: always try to split an associated buffer window.
*	Fix links to BUGS and FAQ	David Aspinall	2007-03-19
\|
*	Use replace-regexp instead of proof-replace-regexp to clean chars	David Aspinall	2007-03-03
\|
*	Tweaks to buffer history mode. Still intermediate version.	David Aspinall	2006-09-24
\|
*	Add buffer history browsing	David Aspinall	2006-09-24
\|
*	moved pg-special-char-regexp to proof-config.el;	Makarius Wenzel	2005-09-01
\| \| \| \|	added pg-remove-specials-in-string;
*	- Don't just reuse visible frames but also iconified ones.	David Aspinall	2005-05-17
\| \| \| \| \| \|	- When proof-three-window-enable is nil, don't mark a dedicated window as non-dedicated. - Don't make the window-size-fixed. It's a real pain in the rear.
*	Mention to check FAQ too	David Aspinall	2005-01-07
\|
*	Bug fix suggested by Jonathan S. Shapiro	David Aspinall	2004-10-05
\|
*	Fix bug in proof-debug for GNU Emacs	David Aspinall	2004-09-21
\|
*	Add pg-internal-warning. Use display-warning for that and proof-debug, if ↵	David Aspinall	2004-08-25
\| \| \| \|	available.
*	Add pg-internal-warning	David Aspinall	2004-08-25
\|
*	Make proof-clean-buffer work with dead buffers.	David Aspinall	2004-08-24
\| \| \| \|	Add x-symbol-version to bug report variables.
*	Add error handler for nesting too deep in proof-fontify region.	David Aspinall	2004-08-10
\|
*	Add proof-save-some-buffers	David Aspinall	2004-04-22
\|
*	Comments.	David Aspinall	2004-04-17
\|
*	Indentation of proof-with-current-buffer-if-exists	David Aspinall	2004-04-13
\|
*	Overhaul and fixes for display management.	David Aspinall	2004-04-02
\|
*	Fix buglets shown up by byte compilation.	David Aspinall	2004-03-01
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Remove more proofgeneral.org mail aliases	David Aspinall	2004-02-07
\|
*	Fix domain name	David Aspinall	2003-12-11
\|
*	Comments.	David Aspinall	2003-06-08
\|