aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-unicode-tokens.el
Commit message (Expand)AuthorAge
* Hyphen instead of emdash in faked longleftarrowGravatar David Aspinall2008-12-05
* Updated.Gravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Add lbrace, rbraceGravatar David Aspinall2008-07-19
* Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviourGravatar David Aspinall2008-07-18
* more precise regexps isar-token-match, isar-control-token-match;Gravatar Makarius Wenzel2008-07-09
* isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expe...Gravatar Makarius Wenzel2008-07-07
* isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a partic...Gravatar Makarius Wenzel2008-07-07
* unicode shortcut alist: literal backslash instead of strange control sequence...Gravatar Makarius Wenzel2008-07-07
* Add back |-> shortcutGravatar David Aspinall2008-07-05
* Missing backslashes.Gravatar David Aspinall2008-02-17
* Experimental use of fonts for \<AA> etc. Disable some contentious shortcutsGravatar David Aspinall2008-02-17
* tuned comment;Gravatar Makarius Wenzel2008-02-13
* Remove ligature/latin1 symbols. Trim short cutsGravatar David Aspinall2008-02-05
* Disable warnings.Gravatar David Aspinall2008-02-04
* Support Isabelle control sequences for subscripts/superscriptsGravatar David Aspinall2008-02-04
* Go back to isabellesym.sty as master symbol listGravatar David Aspinall2008-02-04
* Harmonise a bit more with X-Symbols. Add customization facilityGravatar David Aspinall2008-01-30
* Switch to fake long symbolsGravatar David Aspinall2008-01-28
* Add hooks for unicode tokens within proof shellGravatar David Aspinall2008-01-28
* Add shortcuts for tokens.Gravatar David Aspinall2008-01-28
* Switch token table mapping destination from glyph names to unicode strings. ...Gravatar David Aspinall2008-01-27
* New files.Gravatar David Aspinall2008-01-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-08 03:24:18 +0000