Mercurial > urweb
comparison src/elaborate.sig @ 855:28e42b22424d
Initial implementation of protocols in Settings
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 23 Jun 2009 15:56:04 -0400 |
| parents | 9a1026e2b3f5 |
| children | 7efcf8f4a44a |
comparison
equal
deleted
inserted
replaced
| 854:158d980889ac | 855:28e42b22424d |
|---|