Dear all, the CTM webpage has links to errata for four different printings of the book. Are these cumulative - i.e. do I need to compile the four sets of errata into one if I have the first printing? Or did other errors creep in between printings?
Thanks, Oliver. 2009/6/5 <[email protected]> > Send mozart-users mailing list submissions to > [email protected] > > To subscribe or unsubscribe via the World Wide Web, visit > http://lists.gforge.info.ucl.ac.be/mailman/listinfo/mozart-users > or, via email, send a message with subject or body 'help' to > [email protected] > > You can reach the person managing the list at > [email protected] > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of mozart-users digest..." > > > Today's Topics: > > 1. Problem install ozh (mark richardson) > 2. Re: Problem install ozh (Torsten Anders) > 3. Gedit plugin bug and Re: Problem install ozh (mark richardson) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Thu, 04 Jun 2009 13:19:22 +0100 > From: mark richardson <[email protected]> > Subject: Problem install ozh > To: Mozart users <[email protected]> > Message-ID: <[email protected]> > Content-Type: text/plain; charset=ISO-8859-1; format=flowed > > Hi, > > I'm trying to install the ozh documentation package. > The required mathweb/html package installed fine but ozh won't. > Mozart was installed as a standard ubuntu .deb install. > Configure runs without any problems, then 'make install' gives the > following output: > > m...@mark-laptop:~/Download/franzen-ozh-1.1$ make install > rm -f AnalyzeFunctor.ozf > make AnalyzeFunctor.ozf > make[1]: Entering directory `/home/mark/Download/franzen-ozh-1.1' > /usr/bin/ozengine /usr/bin/ozc -z 9 -c AnalyzeFunctor.oz -o > AnalyzeFunctor.ozf > make[1]: Leaving directory `/home/mark/Download/franzen-ozh-1.1' > /usr/bin/install -c -m 444 OzScanner.so-linux-i486 > /home/mark/.oz/cache/x-ozlib/mozart/ozh/OzScanner.so-linux-i486 > /usr/bin/install -c -m 444 ozdoc.css > /home/mark/.oz/cache/x-ozlib/mozart/ozh/ozdoc.css > /usr/bin/install -c -m 444 page.gif > /home/mark/.oz/cache/x-ozlib/mozart/ozh/page.gif > /usr/bin/install -c -m 444 menu.gif > /home/mark/.oz/cache/x-ozlib/mozart/ozh/menu.gif > /usr/bin/install -c -m 444 README > /home/mark/.oz/cache/x-ozlib/mozart/ozh/README > /usr/bin/install -c -m 444 VERSION > /home/mark/.oz/cache/x-ozlib/mozart/ozh/VERSION > /usr/bin/ozengine /usr/bin/ozc -z 9 -c HTML.oz -o HTML.ozf > /usr/bin/ozengine /usr/bin/ozc -z 9 -c Comments.oz -o Comments.ozf > /usr/bin/ozengine /usr/bin/ozc -z 9 -c FunctorMap.oz -o FunctorMap.ozf > Mozart Compiler 1.3.2 (20080506) playing Oz 3 > > %%% feeding file FunctorMap.oz > > %******************** binding analysis warning ****************** > %** > %** local variable ParamInfo used only once > %** > %** in file "./FunctorMap.oz", line 65, column 6 > % -------------------- accepted > /usr/bin/ozengine /usr/bin/ozc -z 9 -c Ozh.oz -o Ozh.ozf > /usr/bin/ozengine /usr/bin/ozc -z 9 -c SymTable.oz -o SymTable.ozf > /usr/bin/ozengine /usr/bin/ozc -z 9 -c Start.oz -o Start.ozf > /usr/bin/ozengine /usr/bin/ozc -z 9 -c ClassHierarchy.oz -o > ClassHierarchy.ozf > /usr/bin/ozengine /usr/bin/ozc -z 9 -c ResolveFile.oz -o ResolveFile.ozf > /usr/bin/ozengine /usr/bin/ozc -z 9 -c Fontifier.oz -o Fontifier.ozf > /usr/bin/ozengine /usr/bin/ozc -z 9 -c LinkTable.oz -o LinkTable.ozf > /usr/bin/ozengine /usr/bin/ozc -z 9 -c CanvasNode.oz -o CanvasNode.ozf > /usr/bin/ozengine /usr/bin/ozc -z 9 -c Misc.oz -o Misc.ozf > /usr/bin/ozengine /usr/bin/ozc -z 9 -c AnimateNodes.oz -o AnimateNodes.ozf > OZLOAD=all=.:cache=/usr/lib/mozart/cache /usr/bin/ozengine /usr/bin/ozl > -z 9 \ > --include=x-ozlib://mozart/ozh/ -x Start.ozf -o ozh > *** error while reporting error *** > original exception: > system(module(notFound load 'x-oz://system/Application.ozf')) > make: *** [ozh] Error 1 > > Application.ozf is certainly present but is make looking in the wrong > place? > > $OZHOME reports /usr/lib/mozart > > Any help greatly appreciated > > Mark R > > -- > Mark Richardson > Research Assistant > University of Teesside > [email protected] > [email protected] > > > > ------------------------------ > > Message: 2 > Date: Thu, 4 Jun 2009 18:50:58 +0100 > From: Torsten Anders <[email protected]> > Subject: Re: Problem install ozh > To: Mozart users <[email protected]> > Message-ID: <[email protected]> > Content-Type: text/plain; charset="US-ASCII"; delsp=yes; format=flowed > > The ozh in Mogul does not work with Mozart versions > 1.2.5. Try > using the fixed version in Collozeum > > http://gforge.info.ucl.ac.be/plugins/wiki/index.php?ozh&id=31&type=g > > BTW: it would be important to at least have a notice on the page of > outdated Mogul packages? How can we do that? > > Best > Torsten > > > > > On Jun 4, 2009, at 1:19 PM, mark richardson wrote: > > > Hi, > > > > I'm trying to install the ozh documentation package. > > The required mathweb/html package installed fine but ozh won't. > > Mozart was installed as a standard ubuntu .deb install. > > Configure runs without any problems, then 'make install' gives the > > following output: > > > > m...@mark-laptop:~/Download/franzen-ozh-1.1$ make install > > rm -f AnalyzeFunctor.ozf > > make AnalyzeFunctor.ozf > > make[1]: Entering directory `/home/mark/Download/franzen-ozh-1.1' > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c AnalyzeFunctor.oz -o > > AnalyzeFunctor.ozf > > make[1]: Leaving directory `/home/mark/Download/franzen-ozh-1.1' > > /usr/bin/install -c -m 444 OzScanner.so-linux-i486 > > /home/mark/.oz/cache/x-ozlib/mozart/ozh/OzScanner.so-linux-i486 > > /usr/bin/install -c -m 444 ozdoc.css > > /home/mark/.oz/cache/x-ozlib/mozart/ozh/ozdoc.css > > /usr/bin/install -c -m 444 page.gif > > /home/mark/.oz/cache/x-ozlib/mozart/ozh/page.gif > > /usr/bin/install -c -m 444 menu.gif > > /home/mark/.oz/cache/x-ozlib/mozart/ozh/menu.gif > > /usr/bin/install -c -m 444 README > > /home/mark/.oz/cache/x-ozlib/mozart/ozh/README > > /usr/bin/install -c -m 444 VERSION > > /home/mark/.oz/cache/x-ozlib/mozart/ozh/VERSION > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c HTML.oz -o HTML.ozf > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c Comments.oz -o Comments.ozf > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c FunctorMap.oz -o FunctorMap.ozf > > Mozart Compiler 1.3.2 (20080506) playing Oz 3 > > > > %%% feeding file FunctorMap.oz > > > > %******************** binding analysis warning ****************** > > %** > > %** local variable ParamInfo used only once > > %** > > %** in file "./FunctorMap.oz", line 65, column 6 > > % -------------------- accepted > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c Ozh.oz -o Ozh.ozf > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c SymTable.oz -o SymTable.ozf > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c Start.oz -o Start.ozf > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c ClassHierarchy.oz -o > > ClassHierarchy.ozf > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c ResolveFile.oz -o > > ResolveFile.ozf > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c Fontifier.oz -o Fontifier.ozf > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c LinkTable.oz -o LinkTable.ozf > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c CanvasNode.oz -o CanvasNode.ozf > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c Misc.oz -o Misc.ozf > > /usr/bin/ozengine /usr/bin/ozc -z 9 -c AnimateNodes.oz -o > > AnimateNodes.ozf > > OZLOAD=all=.:cache=/usr/lib/mozart/cache /usr/bin/ozengine /usr/bin/ > > ozl > > -z 9 \ > > --include=x-ozlib://mozart/ozh/ -x Start.ozf -o ozh > > *** error while reporting error *** > > original exception: > > system(module(notFound load 'x-oz://system/Application.ozf')) > > make: *** [ozh] Error 1 > > > > Application.ozf is certainly present but is make looking in the > > wrong place? > > > > $OZHOME reports /usr/lib/mozart > > > > Any help greatly appreciated > > > > Mark R > > > > -- > > Mark Richardson > > Research Assistant > > University of Teesside > > [email protected] > > [email protected] > > > > ______________________________________________________________________ > > ___________ > > mozart-users mailing list mozart- > > [email protected] > > http://www.mozart-oz.org/mailman/listinfo/mozart-users > > > > ------------------------------ > > Message: 3 > Date: Thu, 04 Jun 2009 22:06:21 +0100 > From: mark richardson <[email protected]> > Subject: Gedit plugin bug and Re: Problem install ozh > To: Mozart users <[email protected]> > Message-ID: <[email protected]> > Content-Type: text/plain; charset=ISO-8859-1; format=flowed > > Hi Torsten, > > Thanks once again for your help. > I also hadn't realised that someone was working on a Gedit plugin. > Unfortunately on my system, Gedit is now using 2.7Gb of memory, and has > crashed after using 100% cpu time for about 4 minutes. > > Regards > Mark > > Torsten Anders wrote: > > The ozh in Mogul does not work with Mozart versions > 1.2.5. Try using > > the fixed version in Collozeum > > > > http://gforge.info.ucl.ac.be/plugins/wiki/index.php?ozh&id=31&type=g > > > > BTW: it would be important to at least have a notice on the page of > > outdated Mogul packages? How can we do that? > > > > Best > > Torsten > > > > > > > > > > On Jun 4, 2009, at 1:19 PM, mark richardson wrote: > > > >> Hi, > >> > >> I'm trying to install the ozh documentation package. > >> The required mathweb/html package installed fine but ozh won't. > >> Mozart was installed as a standard ubuntu .deb install. > >> Configure runs without any problems, then 'make install' gives the > >> following output: > >> > >> m...@mark-laptop:~/Download/franzen-ozh-1.1$ make install > >> rm -f AnalyzeFunctor.ozf > >> make AnalyzeFunctor.ozf > >> make[1]: Entering directory `/home/mark/Download/franzen-ozh-1.1' > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c AnalyzeFunctor.oz -o > >> AnalyzeFunctor.ozf > >> make[1]: Leaving directory `/home/mark/Download/franzen-ozh-1.1' > >> /usr/bin/install -c -m 444 OzScanner.so-linux-i486 > >> /home/mark/.oz/cache/x-ozlib/mozart/ozh/OzScanner.so-linux-i486 > >> /usr/bin/install -c -m 444 ozdoc.css > >> /home/mark/.oz/cache/x-ozlib/mozart/ozh/ozdoc.css > >> /usr/bin/install -c -m 444 page.gif > >> /home/mark/.oz/cache/x-ozlib/mozart/ozh/page.gif > >> /usr/bin/install -c -m 444 menu.gif > >> /home/mark/.oz/cache/x-ozlib/mozart/ozh/menu.gif > >> /usr/bin/install -c -m 444 README > >> /home/mark/.oz/cache/x-ozlib/mozart/ozh/README > >> /usr/bin/install -c -m 444 VERSION > >> /home/mark/.oz/cache/x-ozlib/mozart/ozh/VERSION > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c HTML.oz -o HTML.ozf > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c Comments.oz -o Comments.ozf > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c FunctorMap.oz -o FunctorMap.ozf > >> Mozart Compiler 1.3.2 (20080506) playing Oz 3 > >> > >> %%% feeding file FunctorMap.oz > >> > >> %******************** binding analysis warning ****************** > >> %** > >> %** local variable ParamInfo used only once > >> %** > >> %** in file "./FunctorMap.oz", line 65, column 6 > >> % -------------------- accepted > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c Ozh.oz -o Ozh.ozf > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c SymTable.oz -o SymTable.ozf > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c Start.oz -o Start.ozf > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c ClassHierarchy.oz -o > >> ClassHierarchy.ozf > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c ResolveFile.oz -o ResolveFile.ozf > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c Fontifier.oz -o Fontifier.ozf > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c LinkTable.oz -o LinkTable.ozf > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c CanvasNode.oz -o CanvasNode.ozf > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c Misc.oz -o Misc.ozf > >> /usr/bin/ozengine /usr/bin/ozc -z 9 -c AnimateNodes.oz -o > >> AnimateNodes.ozf > >> OZLOAD=all=.:cache=/usr/lib/mozart/cache /usr/bin/ozengine /usr/bin/ozl > >> -z 9 \ > >> --include=x-ozlib://mozart/ozh/ -x Start.ozf -o ozh > >> *** error while reporting error *** > >> original exception: > >> system(module(notFound load 'x-oz://system/Application.ozf')) > >> make: *** [ozh] Error 1 > >> > >> Application.ozf is certainly present but is make looking in the wrong > >> place? > >> > >> $OZHOME reports /usr/lib/mozart > >> > >> Any help greatly appreciated > >> > >> Mark R > >> > >> -- > >> Mark Richardson > >> Research Assistant > >> University of Teesside > >> [email protected] > >> [email protected] > >> > >> > _________________________________________________________________________________ > >> > >> mozart-users mailing list > >> [email protected] > >> http://www.mozart-oz.org/mailman/listinfo/mozart-users > > > > > _________________________________________________________________________________ > > > > mozart-users mailing list > > [email protected] > > http://www.mozart-oz.org/mailman/listinfo/mozart-users > > > -- > Mark Richardson > Research Assistant > University of Teesside > [email protected] > [email protected] > > > > ------------------------------ > > _______________________________________________ > mozart-users mailing list > [email protected] > http://lists.gforge.info.ucl.ac.be/mailman/listinfo/mozart-users > > End of mozart-users Digest, Vol 32, Issue 7 > ******************************************* >
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
