Join script should rule out retired usernames
[bpt/portal.git] / contact.sml
2005-04-16 Adam ChlipalaFinished user-level contact stuff
2005-04-15 Adam ChlipalaChanged to use new smlsql interface
2005-04-15 Adam ChlipalaContact kind administration