Australian shares push further into record territory

The ASX200 has finished marginally higher at its best-ever level and set an intraday record amid a spate of corporate earnings reports.