langtech - Revision 197708: /branches/make-redo/gt/script/prooftools
..
add-version-info.pl