index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
Commit message (
Expand
)
Author
Age
*
Summary: Fix to work with dark color themes (stipple with header-line face)
David Aspinall
2015-03-13
*
(fixes last commit) Added a command to send Queries to coq, with completion (...
Pierre Courtieu
2015-03-13
*
Summary: Remove obsolete function
David Aspinall
2015-03-05
*
Don't mess with overlay priorities.
Stefan Monnier
2014-06-06
*
Added comment.
Pierre Courtieu
2013-07-22
*
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
*
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
*
Change default Unicode Tokens font back to DejaVU Sans, more reliable without...
David Aspinall
2012-04-30
*
fix compilation with emacs23-nox of Debian
Hendrik Tews
2012-03-01
*
Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...
David Aspinall
2011-10-13
*
Docstring
David Aspinall
2011-04-18
*
Support delete selection mode on remapped delete commands
David Aspinall
2011-02-23
*
Make proof-assistant-settings follow currently available dynamic settings, an...
David Aspinall
2011-01-31
*
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
*
Summary: New indentation code using SMIE
Stefan Monnier
2010-11-15
*
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
*
Clean up invisibility spec
David Aspinall
2010-09-08
*
Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....
David Aspinall
2010-08-27
*
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
*
Default to non-italic symbol font variant for Mac OS X. Simplify font changi...
David Aspinall
2010-08-19
*
unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display instead
David Aspinall
2010-08-18
*
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
*
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
*
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
*
Functions to add buttons to buffer (initial attempt)
David Aspinall
2009-09-21
[next]