Mercurial > urweb
log lib/ur/basis.urs
age | author | description |
---|---|---|
Sun, 28 Mar 2010 10:10:35 -0400 | Adam Chlipala | Make SELECT FROM clauses optional |
age | author | description |
---|---|---|
Sun, 28 Mar 2010 10:10:35 -0400 | Adam Chlipala | Make SELECT FROM clauses optional |