-
This is a legacy commit from before 2015-03-01. It may be incomplete as well as inconsistent. See COPYING.legacy and README.history for details. the term "source time function" caused too much confusion, since it is not the actual source time function which is derived here SVN Path: http://gpitrsvn.gpi.uni-karlsruhe.de/repos/TFSoftware/trunk SVN Revision: 4723 SVN UUID: 67feda4a-a26e-11df-9d6e-31afc202ad0c
7af35d8f