Mercurial > urweb
log demo/sum.ur
age | author | description |
---|---|---|
2008-10-21 | Adam Chlipala | Sum prose |
2008-10-21 | Adam Chlipala | Infering sum rows |
2008-10-21 | Adam Chlipala | Sum demo, minus inference of {Unit}s |
age | author | description |
---|---|---|
2008-10-21 | Adam Chlipala | Sum prose |
2008-10-21 | Adam Chlipala | Infering sum rows |
2008-10-21 | Adam Chlipala | Sum demo, minus inference of {Unit}s |