aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isar/TokensAcid.thy
Commit message (Expand)AuthorAge
* Change default Unicode Tokens font back to DejaVU Sans, more reliable without...Gravatar David Aspinall2012-04-30
* Add big IntegralGravatar David Aspinall2011-12-27
* Clean up a little bit, adding extra syntax to make buffer process fully.Gravatar David Aspinall2011-09-19
* some local buffer properties;Gravatar Makarius Wenzel2011-09-04
* Update link to STIX fontsGravatar David Aspinall2010-08-19
* Clarify behaviour of copy-paste for token variants: it works fine in PGGravatar David Aspinall2010-08-19
* Minor rearrangeGravatar David Aspinall2010-08-18
* Update token list adding fraktur characters.Gravatar David Aspinall2009-12-01
* Added spanning identifier supers/subsGravatar David Aspinall2009-12-01
* Add some examples of longer subscriptsGravatar David Aspinall2009-12-01
* Add some more examples and syntax declarations to actuallyGravatar David Aspinall2009-12-01
* Add Emacs 23 warning.Gravatar David Aspinall2009-08-31
* Pointer to Stix fontsGravatar David Aspinall2009-08-31
* Add more commentary and new control examplesGravatar David Aspinall2009-08-28
* Property merging now works with tweaks in unicode-tokensGravatar David Aspinall2009-08-28
* Updated.Gravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 07:58:32 +0000