bulwahn [Mon, 09 Jul 2012 09:47:59 +0200] rev 49236
adding a missing entry to predicate compiler's setup
blanchet [Mon, 09 Jul 2012 23:58:05 +0200] rev 49235
compile
blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 49234
tuning
blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 49233
cleanup
blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 49232
more precise dependencies -- eliminate tautologies
blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 49231
generate problem file
blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 49230
improve feature list generation
blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 49229
cleaner accessibility file
blanchet [Mon, 09 Jul 2012 23:23:12 +0200] rev 49228
first go at generating files for MaSh (machine-learning Sledgehammer)
krauss [Mon, 09 Jul 2012 21:08:40 +0200] rev 49227
abandoned import of isatest reports into (old version of) mira -- unstable, and not worth the maintenance effort