Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update copyright messages and improve the header of elisp files. | 2018-02-21 | |
| | |||
* | Fixing unicode tokens in generic code and in coq. | 2017-03-08 | |
| | |||
* | Fixing a bad interaction between one unicode token and electric | 2012-09-21 | |
| | | | | terminator. | ||
* | Add some more tokens for making pretty pictures | 2010-10-10 | |
| | |||
* | Some more tokens | 2009-10-02 | |
| | |||
* | Remove more of 80 code | 2009-09-08 | |
| | |||
* | Add documentation to explain usage. | 2009-09-07 | |
| | | | | | Add setting function for dynamic updates. Add further symbols and explanation of two ways of working. | ||
* | Clean whitespace | 2009-09-05 | |
| | |||
* | Spurious 'isabelle ref. | 2009-09-01 | |
| | |||
* | Move fontsymb properties to library file. | 2009-08-28 | |
| | |||
* | Add indirection for setting unicode tokens variables to add customize menu ↵ | 2009-08-12 | |
| | | | | options | ||
* | Emulate old behaviour after all | 2009-08-06 | |
| | |||
* | unicode shortcut alist: literal backslash instead of strange control ↵ | 2008-07-07 | |
| | | | | sequence, e.g. "\\nat" instead of "\nat"; | ||
* | New files. | 2008-01-30 | |