Tag Release-1-3

version checking fix

Browse

Commit 41f18c10
Author Tom Tromey
Date 1998-04-06T04:48:22