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