rename prog to include format version

svn: r5387
This commit is contained in:
Matthew Flatt 2007-01-18 09:16:27 +00:00
parent b2d9b73fb4
commit 3f2f0e3ab9