log demo/more/bulkEdit.urs

age author description
2009-10-20 Adam Chlipala Saving changes to user list
2009-10-20 Adam Chlipala Start of user management