Mercurial > openid

view src/ur/openid.urs @ 5:443f27cd1572

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Detecting cancellation
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 17:36:07 -0500
parents 2d409aff8800
children 870d99055dd1
line wrap: on
line source
val authenticate : string -> transaction string
(* Doesn't return normally if everything goes as planned.
 * Instead, the user is redirected to his OP to authenticate there. *)