blanchet [Fri, 23 Aug 2013 15:49:27 +0200] rev 54293
minor MaSh fix
blanchet [Fri, 23 Aug 2013 15:07:32 +0200] rev 54292
eliminated some needless MaSh features
blanchet [Fri, 23 Aug 2013 14:19:57 +0200] rev 54291
tuned output
blanchet [Fri, 23 Aug 2013 14:04:08 +0200] rev 54290
better tracing + honor blocking better
blanchet [Fri, 23 Aug 2013 13:30:25 +0200] rev 54289
learn new facts on query if there aren't too many of them in MaSh
kuncar [Fri, 23 Aug 2013 00:12:20 +0200] rev 54288
remove OP
blanchet [Thu, 22 Aug 2013 23:03:23 +0200] rev 54287
increase relevance of unknown proximate facts
blanchet [Thu, 22 Aug 2013 23:03:22 +0200] rev 54286
fixed pattern matching
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