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

some small fix #6

Closed osa1 closed 11 years ago

osa1 commented 11 years ago

this app doesn't work without that extra information I put at sample_config.py.

pdaian commented 11 years ago

Looks good, thanks!