Commit 97b46070121ab9bef8c3220b8e139c72971cf3a3

Tom Tromey 1996-09-08T16:47:47

Added version-number checking