Mercurial > urweb
log demo/tree.urs
age | author | description |
---|---|---|
2008-11-06 | Adam Chlipala | About to begin optimization of recursive transaction functions |
age | author | description |
---|---|---|
2008-11-06 | Adam Chlipala | About to begin optimization of recursive transaction functions |