aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-unicode-tokens.el
AgeCommit message (Expand)Author
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-03-08Fixing unicode tokens in generic code and in coq.Pierre Courtieu
2012-09-21Fixing a bad interaction between one unicode token and electricPierre Courtieu
2010-10-10Add some more tokens for making pretty picturesDavid Aspinall
2009-10-02Some more tokensDavid Aspinall
2009-09-08Remove more of 80 codeDavid Aspinall
2009-09-07Add documentation to explain usage.David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-01Spurious 'isabelle ref.David Aspinall
2009-08-28Move fontsymb properties to library file.David Aspinall
2009-08-12Add indirection for setting unicode tokens variables to add customize menu op...David Aspinall
2009-08-06Emulate old behaviour after allDavid Aspinall
2008-07-07unicode shortcut alist: literal backslash instead of strange control sequence...Makarius Wenzel
2008-01-30New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:12:16 +0000