/misc/

• ../
• drawtree.pl
• quiz-extract-automata.pl
• randomize-test.pl