[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Some chars in shell

From: Paulo J. Matos aka PDestroy
Subject: Some chars in shell
Date: 21 Oct 2001 16:21:02 +0100
User-agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7


In shell mode I'm not able to insert for example the character ~.
I don't know why. But I need to introduce it because I'm working with
isabelle (theorem proving in FOL) and I need the ~ write 'not'.
So, any solutions would be great.

Best regards,

Paulo J. Matos aka PDestroy :
Instituto Superior Tecnico - Lisbon
Software & Computer Engineering - A.I.
 - >

reply via email to

[Prev in Thread] Current Thread [Next in Thread]