bulwahn [Mon, 27 Sep 2010 12:22:57 +0200] rev 39723
handling nested cases more elegant by requiring less new constants
blanchet [Mon, 27 Sep 2010 12:01:04 +0200] rev 39722
merged
blanchet [Mon, 27 Sep 2010 12:00:53 +0200] rev 39721
renamed function
blanchet [Mon, 27 Sep 2010 10:44:08 +0200] rev 39720
rename "Clausifier" to "Meson_Clausifier" and merge with "Meson_Tactic"
blanchet [Mon, 27 Sep 2010 09:17:24 +0200] rev 39719
comment out Auto Try until issues are resolved (automatically on by default even though the code says off; thread that continues in the background)
blanchet [Mon, 27 Sep 2010 09:14:39 +0200] rev 39718
remove needless flag
haftmann [Mon, 27 Sep 2010 11:12:08 +0200] rev 39717
added hint on reference equality
haftmann [Mon, 27 Sep 2010 11:12:01 +0200] rev 39716
treat equality on refs and arrays as primitive operation
haftmann [Mon, 27 Sep 2010 11:11:59 +0200] rev 39715
corrected OCaml operator precedence
haftmann [Mon, 27 Sep 2010 09:36:18 +0200] rev 39714
corrected scope of closure
haftmann [Mon, 27 Sep 2010 08:47:23 +0200] rev 39713
merged
haftmann [Mon, 27 Sep 2010 08:46:53 +0200] rev 39712
separate quote tag from tt tag