HCoop / hcoop / domtool2.git / history
| 2009-09-27 | Adam Chlipala | Changes to support IMAP on hopper all compile but are... | blob | commitdiff | raw |
| 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 |