# $Id$

/home/isabelle-repository/repos/log {
  compress
  nomail
  daily
  rotate 5
}
