[Termtools] Duplicate systems in category CSR

[Peter Schneider-Kamp]

Simon Bailey wrote:
> hi,
> 
> On Oct 24, 2008, at 9:35 AM, Peter Schneider-Kamp wrote:
>> I agree that eliminating duplicates is not a big priority.
>>
>> But having a directory called "tmp" that was not in the
>> TPDB 4.0 seems more like a mistake than the usual duplication stuff.
> 
> 
> as salvador posted before, this directory _is_ contained in claude's
> official tgz file of the TPDB-4.0
> (http://www.lri.fr/~marche/tpdb/tpdb-4.0.tgz ) which is the source i
> used to import the systems to the database.

Hi Simon,

my fault. In our local copy we have cleaned this directory
for the obvious reason.
> if johannes agrees, we can remove these 43 systems.

That sounds like a good idea. Johannes?

Regards,
Peter
-- 
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik 2      http://verify.rwth-aachen.de/psk
RWTH Aachen            phone: +49 241 80-21211