From glauber.sp at gmail.com Sat Sep 6 03:18:26 2008 From: glauber.sp at gmail.com (Glauber Cabral) Date: Fri, 5 Sep 2008 22:18:26 -0300 Subject: [Hets-users] About hets, Emacs and Mac OSX In-Reply-To: References: Message-ID: Hi Hets users! I think this question is a little off-topic but I guess some of you already had to deal with this problem and I could not find help on IRC neither google. I'm trying to run hets on MacOSX but I got a problem with dumb terminal inside Emacs/Aquamacs. When uDraw tries to launch Isabelle, I get this error message and Isabelle doesn't launch: /Users/glauber/Hets/lib/Isabelle//Isabelle/bin/isabelle-interface Prelude_Bool.thy emacs: Terminal type "dumb" is not powerful enough to run Emacs. It lacks the ability to position the cursor. If that is not the actual type of terminal you have, use the Bourne shell command `TERM=... export TERM' (C-shell: `setenv TERM ...') to specify the correct type. It may be necessary to do `unset TERMINFO' (C-shell: `unsetenv TERMINFO') as well. In Emacs from Macports the error is about tty not being a real terminal or something like this. I'll be very glad if anyone can give me some help. Thank you in advance. Glauber From Christian.Maeder at dfki.de Mon Sep 8 10:19:18 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Mon, 08 Sep 2008 10:19:18 +0200 Subject: [Hets-users] About hets, Emacs and Mac OSX In-Reply-To: References: Message-ID: <48C4E006.8010901@dfki.de> What happens if you call Isabelle just with an ordinary .thy file? If this does not work it will not work with hets either. In order to use the Aquamacs, pass the following option to Isbelle or isabelle-interface. -p '/Applications/Aquamacs\ Emacs.app/Contents/MacOS/Aquamacs\ Emacs' The path may need to be adjusted to your path of Aquamacs. For hets the following environment variables can then be set: HETS_ISABELLE="isabelle-interface -p '/Applications/Aquamacs\ Emacs.app/Contents/MacOS/Aquamacs\ Emacs'" (Note the blanks in the Aquamacs path) I hope that helps Christian Glauber Cabral wrote: > Hi Hets users! > I think this question is a little off-topic but I guess some of you > already had to deal with this problem and I could not find help on IRC > neither google. > I'm trying to run hets on MacOSX but I got a problem with dumb > terminal inside Emacs/Aquamacs. > When uDraw tries to launch Isabelle, I get this error message and > Isabelle doesn't launch: > > /Users/glauber/Hets/lib/Isabelle//Isabelle/bin/isabelle-interface > Prelude_Bool.thy > emacs: Terminal type "dumb" is not powerful enough to run Emacs. > It lacks the ability to position the cursor. > If that is not the actual type of terminal you have, > use the Bourne shell command `TERM=... export TERM' (C-shell: > `setenv TERM ...') to specify the correct type. It may be necessary > to do `unset TERMINFO' (C-shell: `unsetenv TERMINFO') as well. > > In Emacs from Macports the error is about tty not being a real > terminal or something like this. > I'll be very glad if anyone can give me some help. > > Thank you in advance. > > Glauber > _______________________________________________ > Hets-users mailing list > Hets-users at mailhost.informatik.uni-bremen.de > http://www.informatik.uni-bremen.de/mailman/listinfo/hets-users >