haftmann [Mon, 27 Sep 2010 11:12:08 +0200] rev 39949
added hint on reference equality
haftmann [Mon, 27 Sep 2010 11:12:01 +0200] rev 39948
treat equality on refs and arrays as primitive operation
haftmann [Mon, 27 Sep 2010 11:11:59 +0200] rev 39947
corrected OCaml operator precedence
haftmann [Mon, 27 Sep 2010 09:36:18 +0200] rev 39946
corrected scope of closure
haftmann [Mon, 27 Sep 2010 08:47:23 +0200] rev 39945
merged
haftmann [Mon, 27 Sep 2010 08:46:53 +0200] rev 39944
separate quote tag from tt tag
haftmann [Fri, 24 Sep 2010 16:09:54 +0200] rev 39943
separate quote tag from tt tag
blanchet [Sat, 25 Sep 2010 10:32:14 +0200] rev 39942
make SML/NJ happy
wenzelm [Fri, 24 Sep 2010 17:55:32 +0200] rev 39941
merged
wenzelm [Fri, 24 Sep 2010 17:20:09 +0200] rev 39940
tuned warning_color;