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
*
(C) date
David Aspinall
2009-09-07
*
Use extended form of define-minor-mode
David Aspinall
2009-09-07
*
Add template auto-insert hook
David Aspinall
2009-09-07
*
Calculate token match regexp in a more complex way in an attempt to
David Aspinall
2009-09-07
*
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
*
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
*
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 unicode...
David Aspinall
2009-09-05
*
tokens-customizable-variables: new setting. All compositions to be more gener...
David Aspinall
2009-09-05
*
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
*
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 unicode-tokens-replace-shortcut-m...
David Aspinall
2009-08-30
*
Update autoloads
David Aspinall
2009-08-28
*
Add convenience function for profiling
David Aspinall
2009-08-28
[next]