aboutsummaryrefslogtreecommitdiff
path: root/etc/isar/TokensAcid.thy
AgeCommit message (Collapse)Author
2012-04-30Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵David Aspinall
without installing STIX.
2011-12-27Add big IntegralDavid Aspinall
2011-09-19Clean up a little bit, adding extra syntax to make buffer process fully.David Aspinall
2011-09-04some local buffer properties;Makarius Wenzel
2010-08-19Update link to STIX fontsDavid Aspinall
2010-08-19Clarify behaviour of copy-paste for token variants: it works fine in PGDavid Aspinall
2010-08-18Minor rearrangeDavid Aspinall
2009-12-01Update token list adding fraktur characters.David Aspinall
2009-12-01Added spanning identifier supers/subsDavid Aspinall
2009-12-01Add some examples of longer subscriptsDavid Aspinall
2009-12-01Add some more examples and syntax declarations to actuallyDavid Aspinall
process the file.
2009-08-31Add Emacs 23 warning.David Aspinall
2009-08-31Pointer to Stix fontsDavid Aspinall
2009-08-28Add more commentary and new control examplesDavid Aspinall
2009-08-28Property merging now works with tweaks in unicode-tokensDavid Aspinall
2008-08-03Updated.David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:11:26 +0000