aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-unicode-tokens.el
Commit message (Expand)AuthorAge
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Fixing unicode tokens in generic code and in coq.Gravatar Pierre Courtieu2017-03-08
* Fixing a bad interaction between one unicode token and electricGravatar Pierre Courtieu2012-09-21
* Add some more tokens for making pretty picturesGravatar David Aspinall2010-10-10
* Some more tokensGravatar David Aspinall2009-10-02
* Remove more of 80 codeGravatar David Aspinall2009-09-08
* Add documentation to explain usage.Gravatar David Aspinall2009-09-07
* Clean whitespaceGravatar David Aspinall2009-09-05
* Spurious 'isabelle ref.Gravatar David Aspinall2009-09-01
* Move fontsymb properties to library file.Gravatar David Aspinall2009-08-28
* Add indirection for setting unicode tokens variables to add customize menu op...Gravatar David Aspinall2009-08-12
* Emulate old behaviour after allGravatar David Aspinall2009-08-06
* unicode shortcut alist: literal backslash instead of strange control sequence...Gravatar Makarius Wenzel2008-07-07
* New files.Gravatar David Aspinall2008-01-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 07:12:25 +0000