diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-04 17:15:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-04 17:15:02 +0000 |
| commit | 01eb09deb900de6d14b8bc4cc26c674c38fc0335 (patch) | |
| tree | 7dfb966724ed5e68c2124c14b09f2fe04716ce75 /isar/isar.el | |
| parent | 5e9b093e19440a47e64a0d15904537dd2b16f3d3 (diff) | |
Swap phi and varphi for better consistency with STIX.
Diffstat (limited to 'isar/isar.el')
0 files changed, 0 insertions, 0 deletions