I had similar thoughts last week when having to use Gedit to prepare an email with Unicode characters. The X server gave up and there was no panic file...

30/03/15 06:05, David Topham wrote:
I know I am preaching to the choir here, but I was so impressed by the
behavior of ProofPower today I thought I would go ahead and express my
appreciation anyway!

I have been using xpp to prepare notes and exercises for my discrete
math course this semester, and today after spending a couple of hours
working on a doc with some recursive functions in SML and inductive
proofs in Latex, my xpp froze up!  I don't know why, but I thought I was
doomed.  Then, magically, as I gave up and killed the process I saw the
wonderful message:
             xpp-panic-problem_3_1_10.doc-Dq6T0c
was being saved!

Thank you, thank you, whoever added in that code to automatically save
before dying!


_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com



_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to