help-gnu-emacs
[Top][All Lists]
Advanced

[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

Hi,

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 : pocm@rnl.ist.utl.pt
Instituto Superior Tecnico - Lisbon
Software & Computer Engineering - A.I.
 - > http://www.rnl.ist.utl.pt/~pocm




reply via email to

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