User-agent: *
Disallow: /pugs/
Disallow: /svn/
Disallow: /trac/changeset/
Disallow: /trac/timeline/

User-agent: Googlebot
Allow: /syn/
Disallow: *