Mercurial > urweb

log lib/ur/basis.urs

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -100 -30 -10 -4 tip
age author description
Tue, 16 Apr 2013 10:55:48 -0400 Adam Chlipala Basis.tryRpc
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
less more | (0) -100 -30 -10 -4 tip