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);
Wed, 11 Aug 2010 18:44:06 +0200 wenzelm Named_Target;
Wed, 11 Aug 2010 18:41:06 +0200 wenzelm modernized specifications;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip