*last commit before migration to Git.
*updates by AK
*some further interface modifications by AK
* initial cleanup by AK
*** empty log message ***
*** empty log message ***
extenstion for OTF
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.