Mercurial > urweb
comparison src/elab_env.sig @ 579:0094e0242100
Propagated a source change into a dynamic document element
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 30 Dec 2008 15:53:04 -0500 |
| parents | 33d5bd69da00 |
| children | 588b9d16b00a |
comparison
equal
deleted
inserted
replaced
| 578:1e589a60b86f | 579:0094e0242100 |
|---|