// @copyright@
// This file is part of nzdis-kif package. See the file LICENSE for copyright information and 
// the terms and conditions for copying, distribution and modification of nzdis-kif package.

package nzdis.lang.kif.app;

/**/
import nzdis.lang.kif.node.*;
import nzdis.lang.kif.lexer.*;
import nzdis.lang.kif.parser.*;
import java.io.*;

/**
 * Prints the tree of the given Kif file on standard output or inside a GUI frame.
 * See nzdis.lang.kif.tool.PrintTree for more info.
 *
 *@author Mariusz Nowostawski
 *@version @version@ $Revision: 1.2 $
 */
public class PrintTree {

    public static void main(String[] arguments) {
      nzdis.lang.kif.tool.PrintTree.main(arguments);
    }
    
}