2006-12-28 agotuned msg;
wenzelm [Thu, 28 Dec 2006 14:30:39 +0100] rev 21919
tuned msg;

2006-12-28 agoinlined nospaces (from library.ML);
wenzelm [Thu, 28 Dec 2006 14:30:38 +0100] rev 21918
inlined nospaces (from library.ML);

2006-12-28 agoadded
haftmann [Thu, 28 Dec 2006 10:04:10 +0100] rev 21917
added

2006-12-27 agosome clarifications
haftmann [Wed, 27 Dec 2006 19:10:07 +0100] rev 21916
some clarifications

2006-12-27 agodifferent handling of type variable names
haftmann [Wed, 27 Dec 2006 19:10:06 +0100] rev 21915
different handling of type variable names

2006-12-27 agoadded split
haftmann [Wed, 27 Dec 2006 19:10:05 +0100] rev 21914
added split

2006-12-27 agofixed misleading error message
haftmann [Wed, 27 Dec 2006 19:10:04 +0100] rev 21913
fixed misleading error message

2006-12-27 agodropped section header
haftmann [Wed, 27 Dec 2006 19:10:03 +0100] rev 21912
dropped section header

2006-12-27 agoadded OCaml code generation (without dictionaries)
haftmann [Wed, 27 Dec 2006 19:10:00 +0100] rev 21911
added OCaml code generation (without dictionaries)

2006-12-27 agoremoved Haskell reserved words
haftmann [Wed, 27 Dec 2006 19:09:59 +0100] rev 21910
removed Haskell reserved words