* configure.ac (HAPPY): Use AM_PROG_MISSING so that happy is not
	required by configure.
	This eases Mac OSX ports.

	* src/Makefile.am (dist_noinst_DATA): Ship Parse.hs for those who
	don't have Happy.

	Version 0.21.

	Change labels from "l`...'" to "...".

	* src/Scan.hs (isIdentNum): Use isIdent.
	(isIdent): Accept "_" for sake of "print_int".
	(scan): No longer detect "l`...'".
	(scanLabel): Remove.
	* doc/havm.texi: Adjust.

	"size" is a Tiger builtin, but also an Havm keyword for an
	obsolete feature.  Get rid of the latter.

	* src/Ir.hs, src/Annotation.hs, src/Eval.hs, src/High.hs,
	* src/Low.hs, src/Parse.y, src/Preload.hs, src/Print.hs: Label has
	no "size" attribute.
	* src/Code.hs, src/Monad.hs (cframesize): Remove.
	Adjust callers.
	* src/Scan.hs (TokSize): No longer used.

	Version 0.20.
	* Makefile.am (install-epita): New.

	* src/RuntimeChar.hs, src/RuntimeInput.hs, src/RuntimeSystem.hs,
	* src/RuntimeInt.hs, src/RuntimePrint.hs, src/RuntimeString.hs:
	Normalize error messages.

	Version 0.19.

	* doc/builtins.texi: New.
	* doc/havm.texi: Use it.
	* src/Opt.hs (Eq Flag): Fix the definition of (==) for Display.
	(version_message): New.
	Remove a few extra $.

	* configure.ac: Bump to 0.18a.

	Version 0.18.

	* src/Cpu.hs (rfetch, rstore): Register $fp, $sp, and $v0 as
	aliases for fp, sp, and rv.
	* src/Scan.hs (isIdent, isIdentNum): New.
	(scan, scanTokString): Use them to accept $ in identifiers.
	* doc/havm.texi (Special Temporaries): New.

	* src/Scan.hs (isIdent, isIdentNum): New.
	(scan, scanTokString): Use them to accept $ in identifiers.
	* doc/havm.texi (Special Temporaries): New.

	* configure.ac (HAPPY): Die if $HAPPY is no, not if HAPPY is no.

	* src/Eval.hs (evalInt): New.
	Use it to catch non-integer values where integer was expected.

2003-06-30  Akim Demaille  <akim@epita.fr>

	* src/Scan.hs: Fit into 80 cols.
	(charToOp): New.
	(scan): Use it.
	* src/Low.hs: Reformatting.
	Use "invalid" in error messages, not "incorrect".

2003-06-30  Akim Demaille  <akim@epita.fr>

	* src/High.hs (highExp): Reformatting.
	Use "invalid" in error messages, not "incorrect".

2003-06-30  Akim Demaille  <akim@epita.fr>

	* src/Eval.hs (evalStm): Reformatting, and comment changes.

	Version 0.17.
	* src/Main.hs (evalM): Fix incorrect verbose invocations.

	Version 0.17.

	* src/Main.hs (evalM): Use verbose.
	* src/Trace.hs: Export it.

	* configure.ac: Bump to 0.17.

	* src/High.hs (highStm): New.
	(highStms): Rewrite using the smaller "highStm" and map.

	* src/High.hs (highStms): Pay attention that by error the "CJump"
	case was checking twice the Stms following it, a quadratic
	behavior, that less to Havm being hyper slow (and even killed by
	the OS on my machine).

from  Akim Demaille  <akim@epita.fr>

	* src/Low.hs (lowStms): Use awarn.
	* src/High.hs: Use locations of the culprits, not just a
	surrounding expression.

	* src/Trace.hs (warn, verbose, awarn, averbose): New.
	* src/Main.hs, src/Eval.hs, src/High.hs: Use them.

	* configure.ac: Bump to 0.16.

	Version 0.15.
	* doc/havm.texi (HIR): Typo.

	Fix the bug where actual arguments could be overwritten by inner calls.

	* src/Cpu.hs (rfetch): Report accesses to non existent temps.
	* src/Eval.hs (evalArgs): Remove, rather use directly "map
	evalExp".
	(shipArgs): New, handles the "i0", "i1", etc. initialization part.
	(evalExp (Call)): Adjust.
	Factor the code.

	* src/Trace.hs (verbose): Now takes an annotation as first
	argument.
	* src/Eval.hs: Adjust.
	(evalExp (Call)): Display the return of the function, and its value.
	Also trace builtins.

2003-06-24  Akim Demaille  <akim@epita.fr>

	* src/Low.hs (LocationAnn): Don't import it.
	(warn): New.
	Use it.
	Simplify cases specified twice.
	* src/Eval.hs: No longer catch broken Moves, let...
	* src/High.hs: New, ... do it.
	* src/Main.hs: Import and use it.
	(checkM): Rename as...
	(checkLowM): this.
	(checkHighM): New.

	* configure.ac: Bump to 0.15.
	* src/Eval.hs (Print): Import it to have "show" on Ir.
	(evalStm): Diagnose incorrect move arguments.

	Version 0.14.
	* NEWS: Update.
	* src/Eval.hs (call): Fetch rv before saving the registers.
	I do not know why actually...
	* TODO, tests/58-22.tig, tests/58-22.lir: New.

	* src/Annotation.hs (annStm): We are interested in stripping
	annotation of Labels, not LabelEnds.
	* src/Plain.hs (plainExp): When building fake Seq, use a valid
	location, based on that of the list of stms.