Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |