| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | use async manager to manage MaSh learners to make sure they get killed cleanly | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | more consolidation of MaSh code | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | removed lie | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | drastic overhaul of MaSh data structures + fixed a few performance issues | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | fixed order of accessibles + other tweaks to MaSh | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | added option to control which fact filter is used | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | mesh facts by taking into consideration whether a fact is known to MeSh | changeset | files |
| Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | implemented meshing of Iter and MaSh results | changeset | files |