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

Users canot create collections. #2

Closed pdaian closed 11 years ago

pdaian commented 11 years ago

Fixed in 605e421a19e61f153f84a77de2a5d71af5e20897