====== Weaver Implementation ======


==== Weaver Generator ====

(preferred way to implement a Weaver; in Java; command-line options;)


==== Package 'treenode' ====

(Java package for building and working over tree structures; methods prepared for weavers;)