Hi Carlos,
We have recently introduced (5.29/02 and from 5.28/00c) the possibility to truncate the log files.
The directive is
xpd.putrc ProofServ.LogFileMaxSize 100M
The supported unit is {|K|M|G}.
It truncates before executing a command, so crash backtraces should not get truncated.
Keep in mind that it is quite new and experimental.
Let me know if you try.
Gerri