[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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Some chars in shell,
Paulo J. Matos aka PDestroy <=