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 = ['
']
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