comparison src/ur/lib.urp @ 6:99496175078b

Added preliminary versions of all the authentication verification steps
author Adam Chlipala <adam@chlipala.net>
date Mon, 27 Dec 2010 13:18:02 -0500
parents f59083771ee2
children 870d99055dd1
comparison
equal deleted inserted replaced
5:443f27cd1572 6:99496175078b
5 effectful OpenidFfi.discover 5 effectful OpenidFfi.discover
6 effectful OpenidFfi.createInputs 6 effectful OpenidFfi.createInputs
7 effectful OpenidFfi.addInput 7 effectful OpenidFfi.addInput
8 effectful OpenidFfi.indirect 8 effectful OpenidFfi.indirect
9 9
10 $/string
10 $/option 11 $/option
11 openid 12 openid