kweb does not allow me to remove temporary folder

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

kweb does not allow me to remove temporary folder #15

Open grosu opened 10 years ago

grosu commented 10 years ago

The temporary folder -kompiled is grayed out, which is good, but I canot remove it, which is not good. For example, I may have various versions of the same language in the same folder, and in order to kompile one I need to remove the temporary folder of another.