A big jump for the shares of BAE Systems
today pushed the FTSE 100 index to a fresh record.
