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