---------------------------------------------------------------------------        
        sgrep - a tool to search and index text, SGML, XML and HTML files 
	using structured patterns

	See 
	http://www.cs.helsinki.fi/~jjaakkol/sgrep.html
	for more information

	Authors:
        Jani Jaakkola           Jani.Jaakkola@cs.helsinki.fi
        Pekka Kilpelainen       Pekka.Kilpelainen@cs.helsinki.fi
  ---------------------------------------------------------------------------