diff options
| author | David Waern <davve@dtek.chalmers.se> | 2007-12-08 16:45:06 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2007-12-08 16:45:06 +0000 |
| commit | bef29ab118174e4b172495bcfd2171a1cb7eb7e4 (patch) | |
| tree | 337e18d1135fc3c6a142bb4866164d25f52150f3 /doc/config.mk.in | |
| parent | dbaf61e7fe3de11aa10e8dd62341888e497f0b39 (diff) | |
Fix rendering of instance heads to handle infix operators
This is also a refactoring to share this code for rendering predicates.
Diffstat (limited to 'doc/config.mk.in')
0 files changed, 0 insertions, 0 deletions