Modified to take into account some trac databases that store timestamps at a microsecond resolution and would cause fromtimestamp() to throw a ValueError exception.

trac2down.py

#!/usr/bin/python
# vim:set fileencoding=utf-8 sw=2 ai:

import sqlite3
import datetime
import re

SQL = '''
  select
      name, version, time, author, text
    from
      wiki w
    where
      version = (select max(version) from wiki where name = w.name)
'''

conn = sqlite3.connect('../trac.db')
result = conn.execute(SQL)
for row in result:
  name = row[0]
  version = row[1]
  time = row[2]
  author = row[3]
  text = row[4]

  text = re.sub('\r\n', '\n', text)
  text = re.sub(r'{{{(.*?)}}}', r'`\1`', text)
  def indent4(m):
    return '\n    ' + m.group(1).replace('\n', '\n    ')
  text = re.sub(r'(?sm){{{\n(.*?)\n}}}', indent4, text)
  text = re.sub(r'(?m)^====\s+(.*?)\s+====$', r'#### \1', text)
  text = re.sub(r'(?m)^===\s+(.*?)\s+===$', r'### \1', text)
  text = re.sub(r'(?m)^==\s+(.*?)\s+==$', r'## \1', text)
  text = re.sub(r'(?m)^=\s+(.*?)\s+=$', r'# \1', text)
  text = re.sub(r'^       * ', r'****', text)
  text = re.sub(r'^     * ', r'***', text)
  text = re.sub(r'^   * ', r'**', text)
  text = re.sub(r'^ * ', r'*', text)
  text = re.sub(r'^ \d+. ', r'1.', text)

  a = []
  for line in text.split('\n'):
    if not line.startswith('    '):
      line = re.sub(r'\[(https?://[^\s\[\]]+)\s([^\[\]]+)\]', r'[\2](\1)', line)
      line = re.sub(r'\[(wiki:[^\s\[\]]+)\s([^\[\]]+)\]', r'[\2](/\1/)', line)
      line = re.sub(r'\!(([A-Z][a-z0-9]+){2,})', r'\1', line)
      line = re.sub(r'\'\'\'(.*?)\'\'\'', r'*\1*', line)
      line = re.sub(r'\'\'(.*?)\'\'', r'_\1_', line)
    a.append(line)
  text = '\n'.join(a)

  fp = file('%s.md' % name, 'w')
  print >>fp, '<!-- Name: %s -->' % name
  print >>fp, '<!-- Version: %d -->' % version
  try:
    print >>fp, '<!-- Last-Modified: %s -->' % datetime.datetime.fromtimestamp(time).strftime('%Y/%m/%d %H:%M:%S')
  except ValueError:
    print >>fp, '<!-- Last-Modified: %s -->' % datetime.datetime.fromtimestamp(time/1000000).strftime('%Y/%m/%d %H:%M:%S')
    
  print >>fp, '<!-- Author: %s -->' % author
  fp.write(text.encode('utf-8'))
  fp.close()