ML-Twig 1.02  March 1992.

Copyright (c) 1989-1993 by Johan Lilius, Jari Porra, Jussi Rintanen.

This software comes with ABSOLUTELY NO WARRANTY.
This software is subject only to the GNU GENERAL PUBLIC LICENSE
(in the file "LICENSE", distributed with this software, and available
from the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139).
You may copy and distribute this software; see the LICENSE
for details and restrictions.

Source files of ML-Twig : (compile in this order, or use load.sml)

	analyzer.lex.sml
	lexer.sml
	parser.sml
	automata.sml
	main.sml

Other files :

	analyzer.lex		The lexical analyzer specification.
	analyzer.lex.sml	The lexical analyzer.
	runtime.sml		Runtime system to be loaded before the file
				produced by ML-Twig.
	man.tex, man.dvi	ML-Twig User Manual (LaTeX)
	example.mtw		The example from the manual.
	invoke.sml		User interface (If you compile ML-Twig
				non-interactively with the batch compiler.
				Load after main.sml)
	testmltwig.sml		Tests whether Twig is ok.
	load.sml		Loads the source files

	bcgen.mtw, interface.{sig,sml}
				a vax CG translated from C to SML. (See
				A. W. Appel, Concise Specifications of Locally
				Optimal Code Generators, Technical Report
				CS-TR-080-87, Princeton University.) Works
				in some extent, but not really tested.


There are no known bugs in ML-Twig, but the tree references ($n.m ... $)
together with rewrite rules currently pose a small problem.
References to the labeled subtrees of a tree pattern always refer
to the original tree, not to a new tree possibly returned by a 
rewrite rule.


Bug reports, comments and suggestions may be sent to

	Jussi.Rintanen@hut.fi

or

	Jussi Rintanen
	Helsinki University of Technology
	Otakaari 1
	02150 ESPOO
	Finland
