Mercurial > urweb
comparison demo/ref.ur @ 516:11fc77fb8257
Optimized ElabOps.subConInCon
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 27 Nov 2008 10:57:56 -0500 |
| parents | b393c2fc80f8 |
| children | aa2290c32ce2 |
comparison
equal
deleted
inserted
replaced
| 515:4929cf86bc03 | 516:11fc77fb8257 |
|---|