Support retiring balances of departed members
authorAdam Chlipala <adamc@hcoop.net>
Tue, 1 Nov 2005 14:54:55 +0000 (14:54 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 1 Nov 2005 14:54:55 +0000 (14:54 +0000)
commitafc975d0463c554c5dd404851f151ba0e63c1353
treebcd5b3f6aa0511c614b07ba0191d131f39e0e02a
parent393a4193615314958a9550fe2d57d67fcad27f40
Support retiring balances of departed members
balance.sig
balance.sml
money.mlt
remind/remind.sml