23 Nov
2007
23 Nov
'07
8 a.m.
(Wed, Nov 21, 2007 at 07:10:32PM +0100) Dieter Maurer wrote/schrieb/egrapse:
However, I was told that there is a better tree package (forgot its name).
We're using ExpansionTree, which is ages-old, but it works. Maybe that was the name you were looking for. Regards, Sascha