HCoop
/
hcoop
/
domtool2.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add vmail command for changing password when you know the current password
[hcoop/domtool2.git]
/
src
/
mail
/
vmail.sml
2014-05-09
Clinton Ebadi
Add vmail command for changing password when you know...
blob
|
commitdiff
|
raw
2014-05-06
Clinton Ebadi
Disentangle vmail from the mail node, Prepare for dovec...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-26
Clinton Ebadi
merge toplevel-dynamic-environment
blob
|
commitdiff
|
raw
|
diff to current
2014-04-25
Clinton Ebadi
Remove Config.{dispatcher,defaultNode}
blob
|
commitdiff
|
raw
|
diff to current
2009-09-27
Adam Chlipala
Changes to support IMAP on hopper all compile but are...
blob
|
commitdiff
|
raw
|
diff to current
2007-11-04
Adam Chlipala
Putzing around with vmail
blob
|
commitdiff
|
raw
|
diff to current
2007-03-09
Adam Chlipala
Fixing some things that prevented SML/NJ compilation
blob
|
commitdiff
|
raw
|
diff to current
2006-12-23
Adam Chlipala
Printing mailbox locations for vmail list
blob
|
commitdiff
|
raw
|
diff to current
2006-12-23
Adam Chlipala
Check mailbox existence for various vmail commands
blob
|
commitdiff
|
raw
|
diff to current
2006-12-23
Adam Chlipala
Listing vmail mailboxes
blob
|
commitdiff
|
raw
|
diff to current
2006-12-23
Adam Chlipala
First vmail support
blob
|
commitdiff
|
raw
|
diff to current