On Nov 9, 2007 12:47 PM, Valerio Passini <[EMAIL PROTECTED]> wrote:
> Package: mozart
> Version: 1.3.2.20060615+dfsg-3
> Severity: important
>
> --- Please enter the report below this line. ---
> Hi Kevin,
>
> really I don't want to bother you, but people here more expert than me about
> how mozart works are telling me that the bug I'm facing is not related to
> absence of mozart-gtk in the installation. What I'm experiencing is that I
> cannot find in Emacs21 the compiler/emulator options under Oz-->Show/Hide:
> they are grey indeed. Do you have any solution to this?
> Thank you
>
> Valerio Passini
>
> --- System information. ---
> Architecture: i386
> Kernel:       Linux 2.6.23
>
> Debian Release: lenny/sid
>   700 unstable        mirrors.ecology.uni-kiel.de
>   700 unstable        mi.mirror.garr.it
>   700 unstable        download.tuxfamily.org
>   700 unstable        debian.fastweb.it
>   600 testing         mi.mirror.garr.it
>   600 testing         debian.fastweb.it
>   500 experimental    www.debian-multimedia.org
>     1 experimental    ftp.it.debian.org
>
> --- Package information. ---
> Depends                  (Version) | Installed
> ==================================-+-====================
> libc6                   (>= 2.5-5) | 2.6.1-6
> libgcc1        (>= 1:4.2-20070516) | 1:4.2.2-3
> libgdbm3                           | 1.8.3-3
> libgmp3c2                          | 2:4.2.2+dfsg-1
> libstdc++6       (>= 4.2-20070516) | 4.2.2-3
> libx11-6                           | 2:1.0.3-7
> tcl8.4                  (>= 8.4.5) | 8.4.16-3
> tk8.4                   (>= 8.4.5) | 8.4.16-2
> zlib1g                (>= 1:1.2.1) | 1:1.2.3.3.dfsg-7
> emacs21                            | 21.4a+1-5.1
>  OR emacsen                        |
>

If you start oz by running 'oz' from the commandline then they should
not be grey.

BUT, if you just open an oz file then they will be greyed out until
you start the oz sub-process by typing 'C-. r' or selecting 'Run Oz'
from the Oz menu (just below the Oz-->Show/Hide menu entry). Please
let me know if this explains the behaviour you are seeing.

regards
k



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to