Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | | | | terminator. | ||
* | 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 |
| | | | | | Add setting function for dynamic updates. Add further symbols and explanation of two ways of working. | ||
* | 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 ↵ | David Aspinall | 2009-08-12 |
| | | | | options | ||
* | Emulate old behaviour after all | David Aspinall | 2009-08-06 |
| | |||
* | unicode shortcut alist: literal backslash instead of strange control ↵ | Makarius Wenzel | 2008-07-07 |
| | | | | sequence, e.g. "\\nat" instead of "\nat"; | ||
* | New files. | David Aspinall | 2008-01-30 |