Mercurial > urweb
log demo/sum.urp
age | author | description |
---|---|---|
2010-02-06 | Adam Chlipala | Allow .urp files without initial blank lines |
2008-10-21 | Adam Chlipala | Sum demo, minus inference of {Unit}s |
age | author | description |
---|---|---|
2010-02-06 | Adam Chlipala | Allow .urp files without initial blank lines |
2008-10-21 | Adam Chlipala | Sum demo, minus inference of {Unit}s |