Mercurial > urweb
log lib/ur/basis.urs
age | author | description |
---|---|---|
Fri, 30 Nov 2012 10:02:13 -0500 | Adam Chlipala | add Placeholder attribute to <password>; change <textbox> code generation to set 'type' to 'text' |
Wed, 28 Nov 2012 11:45:46 -0500 | Adam Chlipala | Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it |
Wed, 28 Nov 2012 11:41:54 -0500 | Austin Seipp | Standard library additions: Option.unsafeGet, Basis.exp |