乾道四年春正月，浚西湖；秋七月，开潜洞。明年春二月，疏凿李蹊二百六十步有畸，可通画鹢，而洞山宛在水中矣。疏凿之力，汲郡袁进、平原聂伦、东明石良弼，竞率所部，不日成之。延平张维识于洞滨之石，同里曹总书。