diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-01-31 00:55:50 +0800 |
|---|---|---|
| committer | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-01-31 01:03:17 +0800 |
| commit | 039b2346cd7a9998135636146ea234eb9cc0fbab (patch) | |
| tree | 79312a767c40b3ba2c35148184e3702fa41afe2b /html-test/ref/mini_TH2.html | |
| parent | 18e9417edcda21dd23edf675b41f46ab336d773f (diff) | |
Handle infix vs prefix names correctly everywhere, by explicitly specifying the context
The basic idea is that "a" and "+" are either pretty-printed as "a" and "(+)" or "`a`" and "+"
Diffstat (limited to 'html-test/ref/mini_TH2.html')
0 files changed, 0 insertions, 0 deletions