Mercurial > repo
view wisdom/elliott @ 369:b30df78e892e
<elliott> pastelogs proofgeneral
author | HackBot |
---|---|
date | Mon, 30 Apr 2012 23:15:13 +0000 |
parents | 9d1a3249dda2 |
children |
line wrap: on
line source
elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things?