blanchet [Thu, 22 Aug 2013 23:03:21 +0200] rev 54285
fixed subtle bug with "take" + thread overlord through
haftmann [Thu, 22 Aug 2013 21:15:43 +0200] rev 54284
separate tracing option for code_simp
haftmann [Thu, 22 Aug 2013 21:15:43 +0200] rev 54283
congruence rules for code_simp to mimic typical non-strict behaviour of conj and disj
kuncar [Thu, 22 Aug 2013 17:19:51 +0200] rev 54282
delete corresponding compound lhs and rhs when a transfer rule is deleted; tuned
kuncar [Thu, 22 Aug 2013 17:19:44 +0200] rev 54281
publish a private function
traytel [Thu, 22 Aug 2013 17:13:46 +0200] rev 54280
configuration option to control timing output for (co)datatypes
blanchet [Thu, 22 Aug 2013 16:03:13 +0200] rev 54279
have kill_all also kill MaSh server + be paranoid about reloading after clear_state, to allow for easier experimentation
blanchet [Thu, 22 Aug 2013 12:16:56 +0200] rev 54278
take chained and proximate facts into consideration when computing MaSh features
blanchet [Thu, 22 Aug 2013 12:12:52 +0200] rev 54277
pour extra features from proximate facts into goal, in exporter
blanchet [Thu, 22 Aug 2013 12:12:51 +0200] rev 54276
cleanup old duplicated functionality