forbidden.txt still contains some "ALLOWED" tactics

snu-sf-class / pl201602

SNU 2016 Fall 4190.310 Programming Language

22 stars 10 forks source link

Closed iskim517 closed 7 years ago

iskim517 commented 7 years ago

D.v says:

You are ALLOWED to use any tactics including: [tauto], [intuition], [firstorder], [omega].

But actually we are forbidden to use them, because "forbidden.txt" still contains them. Please fix it. Thank you

aqjune commented 7 years ago

I updated the forbidden.txt. Sorry for not allowing them. Thanks

iskim517 commented 7 years ago

It works well now. Thank you. Closing.