proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Small fix in holes code.	Pierre Courtieu	2012-09-19
\|
*	Fix compile for Emacs 24	David Aspinall	2012-09-04
\|
*	Remove functions defined for Emacs 22 compatibility	David Aspinall	2012-09-02
\|
*	Summary: Don't quote lambda expressions	Stefan Monnier	2012-08-30
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* coq/coq-indent.el (coq-indent-inner-regexp): Remove old X-Symbol element. (coq-save-count, coq-proof-count): * obsolete/plastic/plastic.el (plastic-shell-handle-output): * lib/texi-docstring-magic.el (texi-docstring-magic-insert-magic): * lib/pg-dev.el (emacs-lisp-mode-hook): * lib/maths-menu.el (maths-menu-filter-predicate) (maths-menu-tokenise-insert): * lib/holes.el (holes-next): * lego/lego.el (lego-shell-handle-output): * isar/isabelle-system.el (isabelle-docs-menu): * coq/coq.el (coq-compile-command, coq-compile-auto-save) (coq-compile-ignored-directories, coq-load-path-safep) (proof-shell-handle-delayed-output-hook): Don't quote lambda.
*	Emacs 24 update	David Aspinall	2012-08-16
\|
*	Emacs 24 compatibility (ucs-insert -> insert-char)	David Aspinall	2012-08-16
\|
*	Simplified file variable code for coq.	Pierre Courtieu	2012-07-11
\|
*	Use proof-add-to-load-path to extend load-path. This way,	Hendrik Tews	2012-05-08
\| \| \| \| \|	distributions with specific requirements (such as Debian with debian-pkg-add-load-path-item) only need to patch one function.
*	Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵	David Aspinall	2012-04-30
\| \| \| \|	without installing STIX.
*	fix compilation with emacs23-nox of Debian	Hendrik Tews	2012-03-01
\|
*	Patch from Tom Prince to fix Emacs 24 byte compilation (replace ↵	David Aspinall	2011-10-13
\| \| \| \|	interactive-p with called-interactively-p)
*	Docstring	David Aspinall	2011-04-18
\|
*	Support delete selection mode on remapped delete commands	David Aspinall	2011-02-23
\| \| \| \|	Update some of font alias choices.
*	Make proof-assistant-settings follow currently available dynamic settings, ↵	David Aspinall	2011-01-31
\| \| \| \|	and keep possibly customized variables bound. Closes Trac #387.
*	ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).	David Aspinall	2011-01-26
\|
*	Remove dead code	David Aspinall	2011-01-25
\|
*	- change 'span-delete-action in 'span-delete-actions, which is	Hendrik Tews	2011-01-24
\| \| \| \| \|	now a list of functions to be run when the span is deleted. Use span-add-delete-action to add a delete action.
*	Summary: New indentation code using SMIE	Stefan Monnier	2010-11-15
\| \| \| \| \| \| \| \| \| \|	* coq/coq.el (coq-build-prog-args): Avoid meaningless \- escape sequence. (coq-use-smie): New custom var. (coq-smie-grammar): New var. (coq-smie-rules): New function. (coq-guess-or-ask-for-string): Use use-region-p. (coq-mode-config): Use smie-setup if available. * lib/proof-compat.el (use-region-p): Provide fallback definition.
*	Failed attempt to fix font lock customizations for elisp	David Aspinall	2010-10-01
\|
*	span-make-modifying-removing-span: add utility	David Aspinall	2010-10-01
\| \| \| \|	span-make-self-removing-span: rename from span-add-self-removing-span
*	Clean up invisibility spec	David Aspinall	2010-09-08
\|
*	Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵	David Aspinall	2010-08-27
\| \| \| \|	(i.e., automatic preview of next command)
*	Bring syntactic context functions together	David Aspinall	2010-08-25
\|
*	unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ↵	David Aspinall	2010-08-24
\| \| \| \|	Emacs 24 compile warning
*	Default to non-italic symbol font variant for Mac OS X. Simplify font ↵	David Aspinall	2010-08-19
\| \| \| \|	changing code.
*	unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display instead	David Aspinall	2010-08-18
\| \| \| \|	of redisplay to reveal invisibility spec changes
*	Tune profiling	David Aspinall	2010-08-18
\|
*	Load elp first	David Aspinall	2010-08-18
\|
*	hack to ELP to give better readability of profile results, in milliseconds	David Aspinall	2010-08-18
\|
*	unicode-tokens-symbol-font-face: default to italic and support setting	David Aspinall	2010-08-11
\| \| \| \|	the symbol font face's :slant as well as :family attributes.
*	span-mapcar-spans-inorder: added for pg-movie production	David Aspinall	2010-08-03
\|
*	save-excursion -> with-temp-buffer	David Aspinall	2010-07-08
\|
*	Remove debug message	David Aspinall	2010-06-28
\|
*	Experimental backwards delete char. See Trac #290	David Aspinall	2010-06-27
\|
*	tidy	David Aspinall	2009-12-01
\|
*	Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311	David Aspinall	2009-12-01
\|
*	spaces	David Aspinall	2009-12-01
\|
*	Clean	David Aspinall	2009-12-01
\|
*	unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones.	David Aspinall	2009-10-01
\| \| \| \| \|	Prevent font setting when symbols are revealed (use default font family). Tweak menu titles.
*	Conforming Menu Titles	David Aspinall	2009-09-30
\|
*	Conforming Menu Titles	David Aspinall	2009-09-30
\|
*	Rename dec->keyword. Update doc for quail input language.	David Aspinall	2009-09-28
\|
*	Add customize group unicode-tokens-options to faces top-level group.	David Aspinall	2009-09-21
\|
*	unicode-tokens-add-help-echo: add this customize option	David Aspinall	2009-09-21
\| \| \| \|	unicode-tokens-display-table: use this (experimental) for alternative ellipsis glyph
*	Functions to add buttons to buffer (initial attempt)	David Aspinall	2009-09-21
\|
*	unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayed	David Aspinall	2009-09-20
\| \| \| \|	buffers to ensure font changes are seen (change for Mac)
*	Protect against error case	David Aspinall	2009-09-20
\|
*	Note	David Aspinall	2009-09-17
\|
*	span-give-warning: remove, unused.	David Aspinall	2009-09-14
\| \| \| \|	span-write-warning: don't call FUN if inhibit-read-only.
*	Times -> Times New Roman, seems to have better substitution behaviour	David Aspinall	2009-09-13
\| \| \| \| \|	under fontconfig (i.e. existence of smoothly rendering free fonts with same metrics)