langtech - Revision 197665: /branches/errortag/gt/script/prooftools
..
add-version-info.pl