New patches:

[unrevert
anonymous**20070115060647] 
<
> {
hunk ./app/showthm.py 231
 # norm and thm are model objs
 def render_thm(what, norm, thm):
     base = what.rsplit('/', 1)[0]
-    #print base
+    print base
     gh = Log.objects.filter(what= base + '/_gh').latest()
     vg = get_base_vg(gh.ldata, base)
hunk ./app/showthm.py 234
+
     tc = thmctx(vg)
     render = ['<table>']
     lsl = lmsl = 0
}

Context:

[add server-side proof verification
raph.levien@gmail.com**20070115055617] 
[support right-arrow link syntax
raph.levien@gmail.com**20070113021302] 
[support for nested and mixed lists, indented blocks
raph.levien@gmail.com**20070108014428] 
[display theorems
raph.levien@gmail.com**20070107003414] 
[add support for /talk links
raph.levien@gmail.com**20070106224241] 
[prettify page titles and links
raph.levien@gmail.com**20070106220227] 
[forgot to record log_what.py in last commit
raph.levien@gmail.com**20070106215016] 
[schema reorg, use "wiki/" as prefix in log.what
raph.levien@gmail.com**20070106213827] 
[fix wiki idnum links
raph.levien@gmail.com**20070105232154] 
[fix trailing slash bugs; make user/ links work
raph.levien@gmail.com**20070105073514] 
[unicode fixes, drop trailing slash
raph.levien@gmail.com**20070105065253] 
[fix unicode and whitespace between lines
raph.levien@gmail.com**20070104214734] 
[initial commit of ghestalt into darcs
raph.levien@gmail.com**20070103201026] 
Patch bundle hash:
8b1e9471f7e2794b0fbaa79fc7eb5f9e2d6d888d