[initial commit of ghestalt into darcs raph.levien@gmail.com**20070103201026] [fix unicode and whitespace between lines raph.levien@gmail.com**20070104214734] [unicode fixes, drop trailing slash raph.levien@gmail.com**20070105065253] [fix trailing slash bugs; make user/ links work raph.levien@gmail.com**20070105073514] [fix wiki idnum links raph.levien@gmail.com**20070105232154] [schema reorg, use "wiki/" as prefix in log.what raph.levien@gmail.com**20070106213827] [forgot to record log_what.py in last commit raph.levien@gmail.com**20070106215016] [prettify page titles and links raph.levien@gmail.com**20070106220227] [add support for /talk links raph.levien@gmail.com**20070106224241] [display theorems raph.levien@gmail.com**20070107003414] [support for nested and mixed lists, indented blocks raph.levien@gmail.com**20070108014428] [support right-arrow link syntax raph.levien@gmail.com**20070113021302] [add server-side proof verification raph.levien@gmail.com**20070115055617] [add rel=nofollow to edit links, fix wikiexists for stmt raph.levien@gmail.com**20070115063723] [escape html chars in proof lines raph.levien@gmail.com**20070115064719] [recognize that talk pages aren't part of theorem space raph.levien@gmail.com**20070115065003] [tinkering with stylesheet raph.levien@gmail.com**20070127213545] [turn on email sending raph.levien@gmail.com**20070128002005] [include email address raph.levien@gmail.com**20070129201719] [merging i18n work. getzdan@gmail.com**20070204134914] [added i18n related files. getzdan@gmail.com**20070204135750] [fixed leftovers. part 1/?. getzdan@gmail.com**20070204140139] [fixed leftovers. part 2/? getzdan@gmail.com**20070205044307] [added user list and user's recent changes links. added optional geoip support. getzdan@gmail.com**20070205133439] [fixed leftovers. part 3/?. getzdan@gmail.com**20070205134039] [fixed leftovers. part 4/?. getzdan@gmail.com**20070205134604] [fixed double 'last edit' message in wiki template. getzdan@gmail.com**20070205135924] [changed CSS styles. getzdan@gmail.com**20070206132957] [switched DB backend to postgresql. raph.levien@gmail.com**20070207123927] [fixed logo overlap and minor style changes. raph.levien@gmail.com**20070207124518] [renamed roster to user list. raph.levien@gmail.com**20070207124930]