diff options
| author | Robert Norton | 2018-11-15 17:13:38 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-11-15 17:13:38 +0000 |
| commit | 2a906e05a3313a25967833b10bb895db95d08165 (patch) | |
| tree | 4e8711aeb071021fcea8a8f25bf22d3931cda33a /doc/usage.tex | |
| parent | 81ce65d8213b9dc26e204512408e6a340fe985fa (diff) | |
When outputing latex do not expand type synonyms in val specs during type check.
Diffstat (limited to 'doc/usage.tex')
0 files changed, 0 insertions, 0 deletions