Quote angle brackets which are supposed to go out to the user.
Add invite code to account creation

I've opened up a mechanism to hash-check an invite code, which gives write
permissions the new account on creation. In fact, this is the only way to
create permissions other than using the admin console to edit the db.

Other minor improvements in signup flow, like offering a helpful random
password, and signing the user in on account creation.

Housekeeping: slightly updated README.
Add memcache caching of refs in appengine store

With this caching in place, accessing the repo (for example, to render a
wiki page) should require zero datastore accesses in the hot cache case.
Add utility function to split .gh file into thms

This commit starts some new text utilities which will be useful for
extracting an individual thm from a .gh, for editing.
Adapting thm display to git repo

This patch begins moving to the git repo rather than the database. With
this patch, listthm and showthm retrieve theorems from the git. There
are a number of other small tweaks.
Serve proof editing page from git

With this patch, the theorem edit page is served from the git repository,
rather than from the mix of static and db as before.

Still not ready for prime time, as it can't save to git, and there's
other stuff that doesn't work (drafts, handling of absolute urls in
interface names). But it's a good start.

Also a number of other small cleanups, including getting rid of tabs
from all Python code.
Add git-based thm save

This patch basically duplicates the old save functionality, but splicing
the thm into the file and saving it in git.

This change doesn't affect the JavasSript at all. A number of
improvements are needed, including plumbing the url (not just the thm
name) through the JavaScript client, as the url is currently hardcoded,
so it can't be used to save edits from multiple .gh files. Also, error
reporting needs to be better.
More support for multiple proof files

Threads proof filename through editor (so it saves), also including
it in showthm urls and listthm links.
Move theorem display to root namespace

This patch displays .gh files in the listthm view, and .gh/thm in the
showthm view. Thus, it should be possible to browse multiple theorem
files now.
Better error handling in showthm

This patch moves towards being able to handle proof files with errors.
The listthm display shows a red dot on proofs with errors, but
continues. Also, the edit save handler reports the error as a json
response.

Similar changes will need to be made to js to handle proof files with
errors similarly, but not yet done.
Make js verify suppress errors

This patch adds the capability of suppressing errors in the JavaScript
verifier, which allows saving drafts.

It tries to only accept errors within a proof file (ie the types of
errors that would let verify.py -c continue).

Also uses JSON for the save return value - this is more flexible and can
easily be expanded.
Preserve draft commit message in wiki preview
Support multi_ack_detailed in git server

This patch upgrades the smart http git protocol to support the
multi_ack_detailed option. The server now parses the "have" commands
from the client, reports the commits that are in common, and only sends
the commits that are not needed (although it currently sends the entire
tree, so the diff could definitely be further optimized).
Add git-based "Recent changes" page

This patch adds a recent changes page which is determined from walking
the git repository and diffing the trees.
Make "number" implement "save after"

Putting a thm name in the "number" field on save causes the thm to be
saved after the named thm. It's still not quite right, though, because
it loads up to (but not including) the named thm.

Other minor bug fixes (make recent page work, sense "ok" on save).
Add wiki templates for new account

The new account page now serves most of its body (other than the form)
from a wiki template. Also refactoring a bit towards having a common
singleton for app access to content from the git repository.
Make "before" saving consistent

The "before" text field in the edit page now specifies a theorem to
save before, which is consistent with the "upto" behavior.
Serve front page from wiki templates

The front page is now served from /wiki/FrontPageLogged and
/wiki/FrontPage in the git content repo, depending on logged in state.
Display headings in theorem list page

This patch adds headings, which are of the form '# == Heading =='
in source proof files.
UTF-8 seems like a better default than ISO-8859-1.