Coq Ide 'Save failed' problem.

snu-sf-class / pl2015spring

SNU 4190.310, 2015 Spring

11 stars 6 forks source link

Closed aritaum55 closed 9 years ago

aritaum55 commented 9 years ago

when I create new coq file and try to save it, A Message -save failed- is printed.

I don't know why it happens. could you help me solving this problem?

jeehoonkang commented 9 years ago

I am not aware of the problem, but I have a gut feeling that your hard disk may not have enough space. Would you please check for it first?

jeehoonkang commented 9 years ago

Any progress on this issue?

aritaum55 commented 9 years ago

I solved this problem. the problem was directory name that was written in korean