| Wed, 11 Aug 2010 22:41:26 +0200 | wenzelm | represent document ids by (long) int, to benefit from the somewhat faster Inttab in ML (LinearSet in Scala is invariably indexed by native object ids); | changeset | files |
| Wed, 11 Aug 2010 18:44:06 +0200 | wenzelm | Named_Target; | changeset | files |
| Wed, 11 Aug 2010 18:41:06 +0200 | wenzelm | modernized specifications; | changeset | files |