search

kframework / kweb

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
5 stars 5 forks source link

"Sign Up" button after log in #5

Closed owolabileg closed 11 years ago

owolabileg commented 11 years ago

After Signing up for a kweb account and logging in, Sign Up button still appears and, when clicked, takes the user to http://fsl.cs.uiuc.edu/index.php/Main_Page

pdaian commented 11 years ago

To follow up on this: are you referring to the sign up button in the blue bubble above the interface?

Thanks!

owolabileg commented 11 years ago

When you log in, there is a bottom right section that says, "Learn". The "Sign Up" button in that section is what I was referring to.

pdaian commented 11 years ago

Fixed as of a2cd7cfa26906092b34c9137b072f25f97d8841a

Thanks!