2005-04-16 | Adam Chlipala | Finished user-level contact stuff | blob | commitdiff | raw |
2005-04-15 | Adam Chlipala | Changed to use new smlsql interface | blob | commitdiff | raw | diff to current |
2005-04-15 | Adam Chlipala | Contact kind administration | blob | commitdiff | raw | diff to current |