proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Fix compile warnings, remove some XEmacs-isms	David Aspinall	2009-09-06
\|
*	proof-buffer-syntactic-context-emulate: use caching syntax-ppss	David Aspinall	2009-09-06
\| \| \| \|	instead of parse-partial-sexp
*	Whitespace	David Aspinall	2009-09-06
\|
*	Fix compile warnings	David Aspinall	2009-09-06
\|
*	Add after save hook and convenient key binding to compile on save	David Aspinall	2009-09-06
\|
*	Supress spurious warnings	David Aspinall	2009-09-06
\|
*	More defun->defsubst changes	David Aspinall	2009-09-06
\|
*	span-mapc-spans for span-delete-spans	David Aspinall	2009-09-06
\|
*	Rearrange for scoping	David Aspinall	2009-09-06
\|
*	Add menu moved from Coq menu. Make deactivating holes-mode forget all holes.	David Aspinall	2009-09-06
\|
*	Simplify by removing ability to deal with restrictions	David Aspinall	2009-09-06
\| \| \| \|	and a check for process liveness.
*	Make holes-abbrev-complete obey status of minor mode.	David Aspinall	2009-09-06
\|
*	Cleanup code and use define-minor-mode.	David Aspinall	2009-09-06
\|
*	set-span-keymap: only override local map, not replace it.	David Aspinall	2009-09-06
\|
*	Fix pareno	David Aspinall	2009-09-06
\|
*	Cleanups	David Aspinall	2009-09-06
\|
*	More instrumentation	David Aspinall	2009-09-06
\|
*	unicode-tokens-replace-unicode: new function to interactively replace ↵	David Aspinall	2009-09-05
\| \| \| \|	unicode chars in buffer
*	tokens-customizable-variables: new setting. All compositions to be more ↵	David Aspinall	2009-09-05
\| \| \| \|	general, and map char sequences into left-to-right placements
*	Autoload	David Aspinall	2009-09-05
\|
*	Add characterp for Emacs 22	David Aspinall	2009-09-05
\|
*	Clean compile, remove useless autoload settings.	David Aspinall	2009-09-05
\|
*	Turn on proof-general-debug. Missing require	David Aspinall	2009-09-05
\|
*	Tidy whitespace	David Aspinall	2009-09-05
\|
*	Comments	David Aspinall	2009-09-05
\|
*	Missing declaration	David Aspinall	2009-09-05
\|
*	Make bug references clickable	David Aspinall	2009-09-05
\|
*	replace-in-string -> replace-regexp-in-string	David Aspinall	2009-09-04
\|
*	Disable fontification of input and output. Fix C-c C-c binding	David Aspinall	2009-09-04
\|
*	Disable buffer truncation for now	David Aspinall	2009-09-04
\|
*	Profile more of the code	David Aspinall	2009-09-04
\|
*	Define some keys.	David Aspinall	2009-09-04
\|
*	Remove left over comint-isms	David Aspinall	2009-09-04
\|
*	Support for Emacs22	David Aspinall	2009-09-04
\|
*	Remove further unnecessary compatibility code.	David Aspinall	2009-09-04
\|
*	Profile settings	David Aspinall	2009-09-04
\|
*	Trimmed down comint	David Aspinall	2009-09-04
\|
*	Remove some old X-Symbol references.	David Aspinall	2009-09-01
\|
*	Attempt to make compatible with Mac OS X port of Emacs 23.	David Aspinall	2009-09-01
\|
*	Fix unicode-tokens-script-font-face	David Aspinall	2009-08-31
\|
*	Support mouse font selection in Emacs 22.	David Aspinall	2009-08-31
\| \| \| \|	Fix interface to custom, saved faces are in .emacs, not current buffer(!).
*	Experiments improving defaults	David Aspinall	2009-08-31
\|
*	Disable large symbol font for now	David Aspinall	2009-08-31
\|
*	Improve and extend font configuration. Add ↵	David Aspinall	2009-08-30
\| \| \| \|	unicode-tokens-replace-shortcut-match.
*	Update autoloads	David Aspinall	2009-08-28
\|
*	Add convenience function for profiling	David Aspinall	2009-08-28
\|
*	Add a font	David Aspinall	2009-08-28
\|
*	Extend the available types of controls. Move fontsymb-properties here. ↵	David Aspinall	2009-08-28
\| \| \| \|	Prettify the token table.
*	Disable "Set fontsets" sub menu for new Emacsen	David Aspinall	2009-08-28
\|
*	Change font-lock-keywords to use our own hacked ↵	David Aspinall	2009-08-28
\| \| \| \| \| \| \| \| \| \|	`unicode-tokens-prepend-text-property' instead of `font-lock-prepend-text-property' which gave ill formed property values for 'face. Still not clear if that function is faulty or usage was not as intended. Anyway, this repairs outstanding merge properties problem so that <bold><italic>foo</italic></bold> works as expected. Also: fix key binding for unicode-tokens-show-controls so is usable.