aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isar/TokensAcid.thy
Commit message (Expand)AuthorAge
* 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