Older versions of Infinite Lagrange