The FTSE 100 index added 0.2% or 16.10 points to set a new all-time high close of 10,140.70, a performance boosted by demand ...