[Hets-users] About hets, Emacs and Mac OSX

[Christian Maeder]

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
>