diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2015-09-23 18:43:18 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-10-28 14:33:06 +0100 |
| commit | 174f23631a0a8de7dc0f3cd67c393a5ca88c4a2b (patch) | |
| tree | 17f9fa542f6c996e2db4406afe3621f2c46956f2 /latex-test/ref/Simple/main.tex | |
| parent | 18de4f2f992d3ed41eb83cb073e63304f0271dca (diff) | |
Account for Typeable changes
The treatment of type families changed.
Diffstat (limited to 'latex-test/ref/Simple/main.tex')
0 files changed, 0 insertions, 0 deletions