Mon, 04 Aug 2014 12:28:42 +0200 | blanchet | rationalized sorting of facts -- so that preplaying (almost always) coincides with the real thing, preventing odd failures | changeset | files |
Mon, 04 Aug 2014 11:54:23 +0200 | blanchet | slightly earlier exit from preplaying | changeset | files |