Wed, 21 Aug 2013 09:25:40 +0200 | blanchet | renamed theory files to be closer to (new) command names | changeset | files |
Wed, 21 Aug 2013 09:25:40 +0200 | blanchet | only generate feature weights for queries -- they're not used elsewhere | changeset | files |
Wed, 21 Aug 2013 09:25:40 +0200 | blanchet | generate max suggestions in MaSh export driver | changeset | files |