index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
coq
/
coq-unicode-tokens.el
Commit message (
Expand
)
Author
Age
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
Fixing unicode tokens in generic code and in coq.
Pierre Courtieu
2017-03-08
*
Fixing a bad interaction between one unicode token and electric
Pierre Courtieu
2012-09-21
*
Add some more tokens for making pretty pictures
David Aspinall
2010-10-10
*
Some more tokens
David Aspinall
2009-10-02
*
Remove more of 80 code
David Aspinall
2009-09-08
*
Add documentation to explain usage.
David Aspinall
2009-09-07
*
Clean whitespace
David Aspinall
2009-09-05
*
Spurious 'isabelle ref.
David Aspinall
2009-09-01
*
Move fontsymb properties to library file.
David Aspinall
2009-08-28
*
Add indirection for setting unicode tokens variables to add customize menu op...
David Aspinall
2009-08-12
*
Emulate old behaviour after all
David Aspinall
2009-08-06
*
unicode shortcut alist: literal backslash instead of strange control sequence...
Makarius Wenzel
2008-07-07
*
New files.
David Aspinall
2008-01-30