diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-13T15·11+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-13T15·11+0000 |
| commit | 501158845919c8bdf4297a8a76a916dc5b9a7943 (patch) | |
| tree | 3b1cdebf531a374750ee1fd9aa626181c837eff0 /AUTHORS | |
| parent | 792878af911bd1913706a1a8ee5a18f7230352ef (diff) | |
* printTermAsXML: treat derivations specially; emit an element
<derivation outPath=... drvPath=...> attrs </derivation>. Only emit the attributes of any specific derivation only. This prevents exponententially large XML output due to the absense of sharing.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions