Site Navigation

Date:      Sun, 16 Jul 2000 14:40:03 -0700 (PDT)
From:      Jimmy Olgeni <olgeni@uli.it>
To:        freebsd-ports@FreeBSD.org
Subject:   Re: ports/19854: [PATCH] inclusion of full mozart-oz documentation
Message-ID:  <200007162140.OAA85261@freefall.freebsd.org>

---

next in thread | raw e-mail | index | archive | help

---

The following reply was made to PR ports/19854; it has been noted by GNATS.

From: Jimmy Olgeni <olgeni@uli.it>
To: freebsd-gnats-submit@FreeBSD.org
Cc:  
Subject: Re: ports/19854: [PATCH] inclusion of full mozart-oz documentation
Date: Sun, 16 Jul 2000 23:40:36 +0200

 This version supports NOPORTDOCS... much better.
 
 diff -rcN mozart/Makefile mozart.1/Makefile
 *** mozart/Makefile	Mon Jul 10 05:37:36 2000
 --- mozart.1/Makefile	Sun Jul 16 21:33:20 2000
 ***************
 *** 11,18 ****
   MASTER_SITES=		ftp://ftp.mozart-oz.org/pub/mozart/${PORTVERSION}/tar/
 \
   			ftp://ftp.sics.se/pub/mozart/${PORTVERSION}/tar/
   EXTRACT_SUFX=		-src.tar.gz
 
 ! MAINTAINER=    		mathiasp@virtual-earth.de
 
   BUILD_DEPENDS=	xemacs:${PORTSDIR}/editors/xemacs21
   LIB_DEPENDS=		gdbm.2:${PORTSDIR}/databases/gdbm \
 --- 11,30 ----
   MASTER_SITES=		ftp://ftp.mozart-oz.org/pub/mozart/${PORTVERSION}/tar/
 \
   			ftp://ftp.sics.se/pub/mozart/${PORTVERSION}/tar/
   EXTRACT_SUFX=		-src.tar.gz
 + DISTFILES=	${DISTNAME}${EXTRACT_SUFX}
 
 ! .if !defined(NOPORTDOCS)
 ! MOZART_DOCS=	mozart-1.1.0.20000207-doc.tar.gz
 ! DISTFILES+=	${MOZART_DOCS}
 ! .endif
 !
 ! MAINTAINER=    	mathiasp@virtual-earth.de
 !
 ! .if !defined(NOPORTDOCS)
 ! PLIST=		${PKGDIR}/PLIST
 ! .else
 ! PLIST=		${PKGDIR}/PLIST.nodocs
 ! .endif
 
   BUILD_DEPENDS=	xemacs:${PORTSDIR}/editors/xemacs21
   LIB_DEPENDS=		gdbm.2:${PORTSDIR}/databases/gdbm \
 ***************
 *** 46,51 ****
 --- 58,70 ----
   	@${ECHO}
 
   post-install:
 + .if !defined(NOPORTDOCS)
 + 	tar --unlink -xzpf ${DISTDIR}/${MOZART_DOCS} \
 + 		-C ${PREFIX}/lib/oz
 + 	rm -rf ${PREFIX}/lib/oz/doc
 + 	mv ${PREFIX}/lib/oz/mozart/doc ${PREFIX}/lib/oz
 + 	rm -rf ${PREFIX}/lib/oz/mozart
 + .endif
   	@cat ${PKGDIR}/MESSAGE
 
   .include <bsd.port.mk>
 diff -rcN mozart/files/md5 mozart.1/files/md5
 *** mozart/files/md5	Mon Jul 10 05:37:37 2000
 --- mozart.1/files/md5	Sun Jul 16 19:21:20 2000
 ***************
 *** 1 ****
 --- 1,2 ----
   MD5 (mozart-1.1.0.20000207-src.tar.gz) =
 709245e860d01ab936f19bb3dd859ab1
 + MD5 (mozart-1.1.0.20000207-doc.tar.gz) =
 794c55cc28acbef904ec68b5f4f98d78
 diff -rcN mozart/pkg/PLIST mozart.1/pkg/PLIST
 *** mozart/pkg/PLIST	Mon Jul 10 05:37:42 2000
 --- mozart.1/pkg/PLIST	Tue Jul 11 20:18:37 2000
 ***************
 *** 46,66 ****
   lib/oz/contrib/tk/CheckBox.ozf
   lib/oz/contrib/tk/ScrollFrame.ozf
   lib/oz/contrib/tools/DistPanel.ozf
   lib/oz/doc/demo/applets/AnimatedQueens.oza
 - lib/oz/doc/demo/applets/Board.oza
   lib/oz/doc/demo/applets/Bounce.oza
 ! lib/oz/doc/demo/applets/ChatClient.oza
 ! lib/oz/doc/demo/applets/ChatServer.oza
   lib/oz/doc/demo/applets/College.oza
 - lib/oz/doc/demo/applets/Cutting.oza
   lib/oz/doc/demo/applets/DictClient.oza
   lib/oz/doc/demo/applets/Flowers.oza
   lib/oz/doc/demo/applets/Flowers3d.oza
 ! lib/oz/doc/demo/applets/JobShop.oza
 ! lib/oz/doc/demo/applets/Lift.oza
 ! lib/oz/doc/demo/applets/MIM.oza
 ! lib/oz/doc/demo/applets/Transport.oza
 ! lib/oz/doc/demo/applets/Trucks.oza
   lib/oz/doc/demo/applets/images/animated-queens/large-cross.xbm
   lib/oz/doc/demo/applets/images/animated-queens/large-gray.xbm
   lib/oz/doc/demo/applets/images/animated-queens/large-queen.xbm
 --- 46,65 ----
   lib/oz/contrib/tk/CheckBox.ozf
   lib/oz/contrib/tk/ScrollFrame.ozf
   lib/oz/contrib/tools/DistPanel.ozf
 + lib/oz/doc/demo/applets/JobShop.oza
 + lib/oz/doc/demo/applets/Cutting.oza
   lib/oz/doc/demo/applets/AnimatedQueens.oza
   lib/oz/doc/demo/applets/Bounce.oza
 ! lib/oz/doc/demo/applets/Trucks.oza
 ! lib/oz/doc/demo/applets/Transport.oza
 ! lib/oz/doc/demo/applets/Lift.oza
 ! lib/oz/doc/demo/applets/Board.oza
   lib/oz/doc/demo/applets/College.oza
   lib/oz/doc/demo/applets/DictClient.oza
   lib/oz/doc/demo/applets/Flowers.oza
   lib/oz/doc/demo/applets/Flowers3d.oza
 ! lib/oz/doc/demo/applets/ChatServer.oza
 ! lib/oz/doc/demo/applets/ChatClient.oza
   lib/oz/doc/demo/applets/images/animated-queens/large-cross.xbm
   lib/oz/doc/demo/applets/images/animated-queens/large-gray.xbm
   lib/oz/doc/demo/applets/images/animated-queens/large-queen.xbm
 ***************
 *** 78,85 ****
   lib/oz/doc/demo/applets/images/animated-queens/tiny-gray.xbm
   lib/oz/doc/demo/applets/images/animated-queens/tiny-queen.xbm
   lib/oz/doc/demo/applets/images/animated-queens/tiny-solid.xbm
 - lib/oz/doc/demo/applets/images/college/title.xbm
 - lib/oz/doc/demo/applets/images/dict-client/dict.gif
   lib/oz/doc/demo/applets/images/lift/downE.xbm
   lib/oz/doc/demo/applets/images/lift/downF.xbm
   lib/oz/doc/demo/applets/images/lift/lift.xbm
 --- 77,82 ----
 ***************
 *** 96,103 ****
   lib/oz/doc/demo/applets/images/transport/truck_win_right.xbm
   lib/oz/doc/demo/applets/images/trucks/truck-left.ppm
   lib/oz/doc/demo/applets/images/trucks/truck-right.ppm
 ! lib/oz/doc/system/MT10.oz
   lib/oz/doc/system/MT10.ozf
   lib/oz/examples/fd/bin-packing.oz
   lib/oz/examples/fd/bridge.oz
   lib/oz/examples/fd/cars.oz
 --- 93,2195 ----
   lib/oz/doc/demo/applets/images/transport/truck_win_right.xbm
   lib/oz/doc/demo/applets/images/trucks/truck-left.ppm
   lib/oz/doc/demo/applets/images/trucks/truck-right.ppm
 ! lib/oz/doc/demo/applets/images/college/title.xbm
 ! lib/oz/doc/demo/applets/images/dict-client/dict.gif
 ! lib/oz/doc/demo/applets/MIM.oza
 ! lib/oz/doc/demo/bib.html
 ! lib/oz/doc/demo/board.html
 ! lib/oz/doc/demo/bounce.html
 ! lib/oz/doc/demo/chat.html
 ! lib/oz/doc/demo/college.html
 ! lib/oz/doc/demo/cutting.html
 ! lib/oz/doc/demo/demo.gif
 ! lib/oz/doc/demo/dict-client.html
 ! lib/oz/doc/demo/flowers.html
 ! lib/oz/doc/demo/index.html
 ! lib/oz/doc/demo/jobshop.html
 ! lib/oz/doc/demo/latex1.gif
 ! lib/oz/doc/demo/latex2.gif
 ! lib/oz/doc/demo/latex3.gif
 ! lib/oz/doc/demo/latex4.gif
 ! lib/oz/doc/demo/latex5.gif
 ! lib/oz/doc/demo/lift.html
 ! lib/oz/doc/demo/mim.html
 ! lib/oz/doc/demo/node1.html
 ! lib/oz/doc/demo/node10.html
 ! lib/oz/doc/demo/node11.html
 ! lib/oz/doc/demo/node12.html
 ! lib/oz/doc/demo/node13.html
 ! lib/oz/doc/demo/node14.html
 ! lib/oz/doc/demo/node15.html
 ! lib/oz/doc/demo/node16.html
 ! lib/oz/doc/demo/node17.html
 ! lib/oz/doc/demo/node18.html
 ! lib/oz/doc/demo/node19.html
 ! lib/oz/doc/demo/node2.html
 ! lib/oz/doc/demo/node20.html
 ! lib/oz/doc/demo/node21.html
 ! lib/oz/doc/demo/node22.html
 ! lib/oz/doc/demo/node23.html
 ! lib/oz/doc/demo/node24.html
 ! lib/oz/doc/demo/node25.html
 ! lib/oz/doc/demo/node26.html
 ! lib/oz/doc/demo/node27.html
 ! lib/oz/doc/demo/node28.html
 ! lib/oz/doc/demo/node29.html
 ! lib/oz/doc/demo/node3.html
 ! lib/oz/doc/demo/node30.html
 ! lib/oz/doc/demo/node31.html
 ! lib/oz/doc/demo/node32.html
 ! lib/oz/doc/demo/node33.html
 ! lib/oz/doc/demo/node34.html
 ! lib/oz/doc/demo/node35.html
 ! lib/oz/doc/demo/node36.html
 ! lib/oz/doc/demo/node37.html
 ! lib/oz/doc/demo/node38.html
 ! lib/oz/doc/demo/node39.html
 ! lib/oz/doc/demo/node4.html
 ! lib/oz/doc/demo/node5.html
 ! lib/oz/doc/demo/node6.html
 ! lib/oz/doc/demo/node7.html
 ! lib/oz/doc/demo/node8.html
 ! lib/oz/doc/demo/node9.html
 ! lib/oz/doc/demo/note-gui-l1.gif
 ! lib/oz/doc/demo/note-gui-lm1.gif
 ! lib/oz/doc/demo/ozdoc.css
 ! lib/oz/doc/demo/page.gif
 ! lib/oz/doc/demo/queens.html
 ! lib/oz/doc/demo/toc.html
 ! lib/oz/doc/demo/transportation.html
 ! lib/oz/doc/demo/trucks.html
 ! lib/oz/doc/demo/JobShop/Examples.oz
 ! lib/oz/doc/demo/JobShop/Main.oz
 ! lib/oz/doc/demo/JobShop/Scheduler.oz
 ! lib/oz/doc/demo/JobShop/Compiler.oz
 ! lib/oz/doc/demo/JobShop/TaskBoard.oz
 ! lib/oz/doc/demo/JobShop/Tools.oz
 ! lib/oz/doc/demo/JobShop/Configure.oz
 ! lib/oz/doc/demo/College/Graphics.oz
 ! lib/oz/doc/demo/College/Latex.oz
 ! lib/oz/doc/demo/College/Common.oz
 ! lib/oz/doc/demo/College/KathHochWS9596.ozt
 ! lib/oz/doc/demo/College/Main.oz
 ! lib/oz/doc/demo/College/Controller.oz
 ! lib/oz/doc/demo/College/KathHochWS9596Sol.ozt
 ! lib/oz/doc/demo/College/Scheduler.oz
 ! lib/oz/doc/demo/Cutting/Compute.oz
 ! lib/oz/doc/demo/Cutting/Configure.oz
 ! lib/oz/doc/demo/Cutting/Edit.oz
 ! lib/oz/doc/demo/Cutting/Main.oz
 ! lib/oz/doc/demo/Cutting/Script.oz
 ! lib/oz/doc/demo/Flowers/Flowers.oz
 ! lib/oz/doc/demo/Flowers/Flowers3d.oz
 ! lib/oz/doc/demo/Transport/AgentAbstractions.oz
 ! lib/oz/doc/demo/Transport/Agents.oz
 ! lib/oz/doc/demo/Transport/Configure.oz
 ! lib/oz/doc/demo/Transport/Country.oz
 ! lib/oz/doc/demo/Transport/Dialogs.oz
 ! lib/oz/doc/demo/Transport/Germany.oz
 ! lib/oz/doc/demo/Transport/Main.oz
 ! lib/oz/doc/demo/Transport/Plan.oz
 ! lib/oz/doc/demo/Transport/Randomizer.oz
 ! lib/oz/doc/demo/Transport/Widgets.oz
 ! lib/oz/doc/demo/DictClient/Main.oz
 ! lib/oz/doc/demo/DictClient/NetDictionary.oz
 ! lib/oz/doc/demo/DictClient/TkDictionary.oz
 ! lib/oz/doc/demo/AnimatedQueens.oz
 ! lib/oz/doc/demo/Bounce.oz
 ! lib/oz/doc/demo/Trucks.oz
 ! lib/oz/doc/demo/Lift.oz
 ! lib/oz/doc/demo/Board.oz
   lib/oz/doc/system/MT10.ozf
 + lib/oz/doc/system/MT10.oz
 + lib/oz/doc/system/bib.html
 + lib/oz/doc/system/danger.gif
 + lib/oz/doc/system/idx.html
 + lib/oz/doc/system/index.html
 + lib/oz/doc/system/latex1.gif
 + lib/oz/doc/system/latex10.gif
 + lib/oz/doc/system/latex100.gif
 + lib/oz/doc/system/latex101.gif
 + lib/oz/doc/system/latex102.gif
 + lib/oz/doc/system/latex103.gif
 + lib/oz/doc/system/latex104.gif
 + lib/oz/doc/system/latex105.gif
 + lib/oz/doc/system/latex106.gif
 + lib/oz/doc/system/latex107.gif
 + lib/oz/doc/system/latex108.gif
 + lib/oz/doc/system/latex109.gif
 + lib/oz/doc/system/latex11.gif
 + lib/oz/doc/system/latex110.gif
 + lib/oz/doc/system/latex111.gif
 + lib/oz/doc/system/latex112.gif
 + lib/oz/doc/system/latex113.gif
 + lib/oz/doc/system/latex114.gif
 + lib/oz/doc/system/latex115.gif
 + lib/oz/doc/system/latex116.gif
 + lib/oz/doc/system/latex117.gif
 + lib/oz/doc/system/latex118.gif
 + lib/oz/doc/system/latex119.gif
 + lib/oz/doc/system/latex12.gif
 + lib/oz/doc/system/latex120.gif
 + lib/oz/doc/system/latex121.gif
 + lib/oz/doc/system/latex122.gif
 + lib/oz/doc/system/latex123.gif
 + lib/oz/doc/system/latex124.gif
 + lib/oz/doc/system/latex125.gif
 + lib/oz/doc/system/latex126.gif
 + lib/oz/doc/system/latex127.gif
 + lib/oz/doc/system/latex128.gif
 + lib/oz/doc/system/latex129.gif
 + lib/oz/doc/system/latex13.gif
 + lib/oz/doc/system/latex130.gif
 + lib/oz/doc/system/latex131.gif
 + lib/oz/doc/system/latex132.gif
 + lib/oz/doc/system/latex133.gif
 + lib/oz/doc/system/latex134.gif
 + lib/oz/doc/system/latex135.gif
 + lib/oz/doc/system/latex136.gif
 + lib/oz/doc/system/latex137.gif
 + lib/oz/doc/system/latex138.gif
 + lib/oz/doc/system/page.gif
 + lib/oz/doc/system/latex139.gif
 + lib/oz/doc/system/latex14.gif
 + lib/oz/doc/system/latex140.gif
 + lib/oz/doc/system/latex141.gif
 + lib/oz/doc/system/latex142.gif
 + lib/oz/doc/system/latex143.gif
 + lib/oz/doc/system/latex144.gif
 + lib/oz/doc/system/latex145.gif
 + lib/oz/doc/system/latex146.gif
 + lib/oz/doc/system/latex147.gif
 + lib/oz/doc/system/latex148.gif
 + lib/oz/doc/system/latex149.gif
 + lib/oz/doc/system/latex15.gif
 + lib/oz/doc/system/latex16.gif
 + lib/oz/doc/system/latex150.gif
 + lib/oz/doc/system/latex151.gif
 + lib/oz/doc/system/latex152.gif
 + lib/oz/doc/system/latex153.gif
 + lib/oz/doc/system/latex154.gif
 + lib/oz/doc/system/latex155.gif
 + lib/oz/doc/system/latex156.gif
 + lib/oz/doc/system/latex157.gif
 + lib/oz/doc/system/latex158.gif
 + lib/oz/doc/system/latex17.gif
 + lib/oz/doc/system/latex18.gif
 + lib/oz/doc/system/latex19.gif
 + lib/oz/doc/system/latex2.gif
 + lib/oz/doc/system/latex20.gif
 + lib/oz/doc/system/latex21.gif
 + lib/oz/doc/system/latex22.gif
 + lib/oz/doc/system/latex23.gif
 + lib/oz/doc/system/latex24.gif
 + lib/oz/doc/system/latex25.gif
 + lib/oz/doc/system/latex26.gif
 + lib/oz/doc/system/latex27.gif
 + lib/oz/doc/system/latex28.gif
 + lib/oz/doc/system/latex29.gif
 + lib/oz/doc/system/latex3.gif
 + lib/oz/doc/system/latex30.gif
 + lib/oz/doc/system/latex31.gif
 + lib/oz/doc/system/latex32.gif
 + lib/oz/doc/system/latex33.gif
 + lib/oz/doc/system/latex34.gif
 + lib/oz/doc/system/latex35.gif
 + lib/oz/doc/system/latex36.gif
 + lib/oz/doc/system/latex37.gif
 + lib/oz/doc/system/latex38.gif
 + lib/oz/doc/system/latex39.gif
 + lib/oz/doc/system/latex4.gif
 + lib/oz/doc/system/latex40.gif
 + lib/oz/doc/system/latex41.gif
 + lib/oz/doc/system/latex42.gif
 + lib/oz/doc/system/latex43.gif
 + lib/oz/doc/system/latex44.gif
 + lib/oz/doc/system/latex45.gif
 + lib/oz/doc/system/latex46.gif
 + lib/oz/doc/system/latex47.gif
 + lib/oz/doc/system/latex48.gif
 + lib/oz/doc/system/latex49.gif
 + lib/oz/doc/system/latex5.gif
 + lib/oz/doc/system/latex50.gif
 + lib/oz/doc/system/latex51.gif
 + lib/oz/doc/system/latex52.gif
 + lib/oz/doc/system/latex53.gif
 + lib/oz/doc/system/latex54.gif
 + lib/oz/doc/system/latex55.gif
 + lib/oz/doc/system/latex56.gif
 + lib/oz/doc/system/latex57.gif
 + lib/oz/doc/system/latex58.gif
 + lib/oz/doc/system/latex59.gif
 + lib/oz/doc/system/latex6.gif
 + lib/oz/doc/system/latex60.gif
 + lib/oz/doc/system/latex61.gif
 + lib/oz/doc/system/latex62.gif
 + lib/oz/doc/system/latex63.gif
 + lib/oz/doc/system/latex64.gif
 + lib/oz/doc/system/latex65.gif
 + lib/oz/doc/system/latex66.gif
 + lib/oz/doc/system/latex67.gif
 + lib/oz/doc/system/latex68.gif
 + lib/oz/doc/system/latex69.gif
 + lib/oz/doc/system/latex7.gif
 + lib/oz/doc/system/latex70.gif
 + lib/oz/doc/system/latex71.gif
 + lib/oz/doc/system/latex72.gif
 + lib/oz/doc/system/latex73.gif
 + lib/oz/doc/system/latex74.gif
 + lib/oz/doc/system/latex75.gif
 + lib/oz/doc/system/latex76.gif
 + lib/oz/doc/system/latex77.gif
 + lib/oz/doc/system/latex78.gif
 + lib/oz/doc/system/latex79.gif
 + lib/oz/doc/system/latex8.gif
 + lib/oz/doc/system/latex80.gif
 + lib/oz/doc/system/latex81.gif
 + lib/oz/doc/system/latex82.gif
 + lib/oz/doc/system/latex83.gif
 + lib/oz/doc/system/latex84.gif
 + lib/oz/doc/system/latex85.gif
 + lib/oz/doc/system/latex86.gif
 + lib/oz/doc/system/latex87.gif
 + lib/oz/doc/system/latex88.gif
 + lib/oz/doc/system/latex89.gif
 + lib/oz/doc/system/latex9.gif
 + lib/oz/doc/system/latex90.gif
 + lib/oz/doc/system/latex91.gif
 + lib/oz/doc/system/latex92.gif
 + lib/oz/doc/system/latex93.gif
 + lib/oz/doc/system/latex94.gif
 + lib/oz/doc/system/latex95.gif
 + lib/oz/doc/system/latex96.gif
 + lib/oz/doc/system/latex97.gif
 + lib/oz/doc/system/latex98.gif
 + lib/oz/doc/system/latex99.gif
 + lib/oz/doc/system/node1.html
 + lib/oz/doc/system/node10.html
 + lib/oz/doc/system/node11.html
 + lib/oz/doc/system/node12.html
 + lib/oz/doc/system/node13.html
 + lib/oz/doc/system/node14.html
 + lib/oz/doc/system/node15.html
 + lib/oz/doc/system/node16.html
 + lib/oz/doc/system/node17.html
 + lib/oz/doc/system/node18.html
 + lib/oz/doc/system/node19.html
 + lib/oz/doc/system/node2.html
 + lib/oz/doc/system/node20.html
 + lib/oz/doc/system/node21.html
 + lib/oz/doc/system/node22.html
 + lib/oz/doc/system/node23.html
 + lib/oz/doc/system/node24.html
 + lib/oz/doc/system/node25.html
 + lib/oz/doc/system/node26.html
 + lib/oz/doc/system/node27.html
 + lib/oz/doc/system/node28.html
 + lib/oz/doc/system/node29.html
 + lib/oz/doc/system/node3.html
 + lib/oz/doc/system/node30.html
 + lib/oz/doc/system/node31.html
 + lib/oz/doc/system/node32.html
 + lib/oz/doc/system/node33.html
 + lib/oz/doc/system/node34.html
 + lib/oz/doc/system/node35.html
 + lib/oz/doc/system/node36.html
 + lib/oz/doc/system/node37.html
 + lib/oz/doc/system/node38.html
 + lib/oz/doc/system/node39.html
 + lib/oz/doc/system/node4.html
 + lib/oz/doc/system/node40.html
 + lib/oz/doc/system/node41.html
 + lib/oz/doc/system/node42.html
 + lib/oz/doc/system/node43.html
 + lib/oz/doc/system/node44.html
 + lib/oz/doc/system/node45.html
 + lib/oz/doc/system/node46.html
 + lib/oz/doc/system/node47.html
 + lib/oz/doc/system/node48.html
 + lib/oz/doc/system/node49.html
 + lib/oz/doc/system/node5.html
 + lib/oz/doc/system/node50.html
 + lib/oz/doc/system/node51.html
 + lib/oz/doc/system/node52.html
 + lib/oz/doc/system/node53.html
 + lib/oz/doc/system/node54.html
 + lib/oz/doc/system/node55.html
 + lib/oz/doc/system/node56.html
 + lib/oz/doc/system/node57.html
 + lib/oz/doc/system/node58.html
 + lib/oz/doc/system/node59.html
 + lib/oz/doc/system/node6.html
 + lib/oz/doc/system/node60.html
 + lib/oz/doc/system/node61.html
 + lib/oz/doc/system/node62.html
 + lib/oz/doc/system/node63.html
 + lib/oz/doc/system/node64.html
 + lib/oz/doc/system/node65.html
 + lib/oz/doc/system/node66.html
 + lib/oz/doc/system/node67.html
 + lib/oz/doc/system/node68.html
 + lib/oz/doc/system/node69.html
 + lib/oz/doc/system/node7.html
 + lib/oz/doc/system/node70.html
 + lib/oz/doc/system/node71.html
 + lib/oz/doc/system/node72.html
 + lib/oz/doc/system/node73.html
 + lib/oz/doc/system/node74.html
 + lib/oz/doc/system/node75.html
 + lib/oz/doc/system/node76.html
 + lib/oz/doc/system/node77.html
 + lib/oz/doc/system/node78.html
 + lib/oz/doc/system/node79.html
 + lib/oz/doc/system/node8.html
 + lib/oz/doc/system/node80.html
 + lib/oz/doc/system/node81.html
 + lib/oz/doc/system/node82.html
 + lib/oz/doc/system/node83.html
 + lib/oz/doc/system/node84.html
 + lib/oz/doc/system/node85.html
 + lib/oz/doc/system/node86.html
 + lib/oz/doc/system/node87.html
 + lib/oz/doc/system/node9.html
 + lib/oz/doc/system/ozdoc.css
 + lib/oz/doc/system/system.gif
 + lib/oz/doc/system/toc.html
 + lib/oz/doc/.htaccess
 + lib/oz/doc/idx/index.html
 + lib/oz/doc/idx/A.html
 + lib/oz/doc/idx/B.html
 + lib/oz/doc/idx/C.html
 + lib/oz/doc/idx/D.html
 + lib/oz/doc/idx/E.html
 + lib/oz/doc/idx/F.html
 + lib/oz/doc/idx/G.html
 + lib/oz/doc/idx/H.html
 + lib/oz/doc/idx/I.html
 + lib/oz/doc/idx/J.html
 + lib/oz/doc/idx/K.html
 + lib/oz/doc/idx/L.html
 + lib/oz/doc/idx/M.html
 + lib/oz/doc/idx/N.html
 + lib/oz/doc/idx/O.html
 + lib/oz/doc/idx/P.html
 + lib/oz/doc/idx/R.html
 + lib/oz/doc/idx/S.html
 + lib/oz/doc/idx/T.html
 + lib/oz/doc/idx/U.html
 + lib/oz/doc/idx/V.html
 + lib/oz/doc/idx/W.html
 + lib/oz/doc/idx/X.html
 + lib/oz/doc/idx/Y.html
 + lib/oz/doc/idx/Z.html
 + lib/oz/doc/idx/_.html
 + lib/oz/doc/idx/ozdoc.css
 + lib/oz/doc/idx/page.gif
 + lib/oz/doc/apptut/apptut.gif
 + lib/oz/doc/apptut/bib.html
 + lib/oz/doc/apptut/idx.html
 + lib/oz/doc/apptut/index.html
 + lib/oz/doc/apptut/latex1.gif
 + lib/oz/doc/apptut/latex2.gif
 + lib/oz/doc/apptut/latex3.gif
 + lib/oz/doc/apptut/node1.html
 + lib/oz/doc/apptut/node10.html
 + lib/oz/doc/apptut/node11.html
 + lib/oz/doc/apptut/node12.html
 + lib/oz/doc/apptut/node13.html
 + lib/oz/doc/apptut/node14.html
 + lib/oz/doc/apptut/node15.html
 + lib/oz/doc/apptut/node16.html
 + lib/oz/doc/apptut/node17.html
 + lib/oz/doc/apptut/node18.html
 + lib/oz/doc/apptut/node19.html
 + lib/oz/doc/apptut/node2.html
 + lib/oz/doc/apptut/node20.html
 + lib/oz/doc/apptut/node21.html
 + lib/oz/doc/apptut/node22.html
 + lib/oz/doc/apptut/node23.html
 + lib/oz/doc/apptut/node24.html
 + lib/oz/doc/apptut/node3.html
 + lib/oz/doc/apptut/node4.html
 + lib/oz/doc/apptut/node5.html
 + lib/oz/doc/apptut/node6.html
 + lib/oz/doc/apptut/node7.html
 + lib/oz/doc/apptut/node8.html
 + lib/oz/doc/apptut/node9.html
 + lib/oz/doc/apptut/ozdoc.css
 + lib/oz/doc/apptut/page.gif
 + lib/oz/doc/apptut/toc.html
 + lib/oz/doc/apptut/chat-server.oz
 + lib/oz/doc/apptut/chat-client.oz
 + lib/oz/doc/apptut/chat-gui.oz
 + lib/oz/doc/apptut/Webget.oz
 + lib/oz/doc/apptut/DB.oz
 + lib/oz/doc/apptut/Form.oz
 + lib/oz/doc/apptut/LMF.oz
 + lib/oz/doc/apptut/counter.cc
 + lib/oz/doc/apptut/counter-obj.cc
 + lib/oz/doc/apptut/celloid.cc
 + lib/oz/doc/apptut/celloid.oz
 + lib/oz/doc/base/array.html
 + lib/oz/doc/base/atom.html
 + lib/oz/doc/base/base.gif
 + lib/oz/doc/base/bib.html
 + lib/oz/doc/base/bitarray.html
 + lib/oz/doc/base/bitstring.html
 + lib/oz/doc/base/bool.html
 + lib/oz/doc/base/bytestring.html
 + lib/oz/doc/base/cell.html
 + lib/oz/doc/base/char.html
 + lib/oz/doc/base/chunk.html
 + lib/oz/doc/base/class.html
 + lib/oz/doc/base/dictionary.html
 + lib/oz/doc/base/exception.html
 + lib/oz/doc/base/float.html
 + lib/oz/doc/base/foreignpointer.html
 + lib/oz/doc/base/functor.html
 + lib/oz/doc/base/idx.html
 + lib/oz/doc/base/index.html
 + lib/oz/doc/base/int.html
 + lib/oz/doc/base/latex1.gif
 + lib/oz/doc/base/list.html
 + lib/oz/doc/base/literal.html
 + lib/oz/doc/base/lock.html
 + lib/oz/doc/base/loop.html
 + lib/oz/doc/base/name.html
 + lib/oz/doc/base/node1.html
 + lib/oz/doc/base/node10.html
 + lib/oz/doc/base/node11.html
 + lib/oz/doc/base/node12.html
 + lib/oz/doc/base/node13.html
 + lib/oz/doc/base/node14.html
 + lib/oz/doc/base/node15.html
 + lib/oz/doc/base/node2.html
 + lib/oz/doc/base/node3.html
 + lib/oz/doc/base/node4.html
 + lib/oz/doc/base/node5.html
 + lib/oz/doc/base/node6.html
 + lib/oz/doc/base/node7.html
 + lib/oz/doc/base/node8.html
 + lib/oz/doc/base/node9.html
 + lib/oz/doc/base/number.html
 + lib/oz/doc/base/object.html
 + lib/oz/doc/base/ozdoc.css
 + lib/oz/doc/base/page.gif
 + lib/oz/doc/base/port.html
 + lib/oz/doc/base/procedure.html
 + lib/oz/doc/base/record.html
 + lib/oz/doc/base/string.html
 + lib/oz/doc/base/thread.html
 + lib/oz/doc/base/time.html
 + lib/oz/doc/base/toc.html
 + lib/oz/doc/base/tuple.html
 + lib/oz/doc/base/unit.html
 + lib/oz/doc/base/value.html
 + lib/oz/doc/base/virtualstring.html
 + lib/oz/doc/base/weakdictionary.html
 + lib/oz/doc/bugs/danger.gif
 + lib/oz/doc/bugs/index.html
 + lib/oz/doc/bugs/ozdoc.css
 + lib/oz/doc/bugs/page.gif
 + lib/oz/doc/compiler/index.html
 + lib/oz/doc/compiler/node1.html
 + lib/oz/doc/compiler/node2.html
 + lib/oz/doc/compiler/node3.html
 + lib/oz/doc/compiler/node4.html
 + lib/oz/doc/compiler/node5.html
 + lib/oz/doc/compiler/node6.html
 + lib/oz/doc/compiler/node7.html
 + lib/oz/doc/compiler/node8.html
 + lib/oz/doc/compiler/ozdoc.css
 + lib/oz/doc/compiler/page.gif
 + lib/oz/doc/contrib/index.html
 + lib/oz/doc/contrib/node1.html
 + lib/oz/doc/contrib/node2.html
 + lib/oz/doc/contrib/node3.html
 + lib/oz/doc/contrib/node4.html
 + lib/oz/doc/contrib/node5.html
 + lib/oz/doc/contrib/node6.html
 + lib/oz/doc/contrib/ozdoc.css
 + lib/oz/doc/contrib/page.gif
 + lib/oz/doc/foreign/danger.gif
 + lib/oz/doc/foreign/idx.html
 + lib/oz/doc/foreign/index.html
 + lib/oz/doc/foreign/node1.html
 + lib/oz/doc/foreign/node10.html
 + lib/oz/doc/foreign/node11.html
 + lib/oz/doc/foreign/node12.html
 + lib/oz/doc/foreign/node13.html
 + lib/oz/doc/foreign/node14.html
 + lib/oz/doc/foreign/node15.html
 + lib/oz/doc/foreign/node16.html
 + lib/oz/doc/foreign/node17.html
 + lib/oz/doc/foreign/node18.html
 + lib/oz/doc/foreign/node19.html
 + lib/oz/doc/foreign/node2.html
 + lib/oz/doc/foreign/node20.html
 + lib/oz/doc/foreign/node21.html
 + lib/oz/doc/foreign/node22.html
 + lib/oz/doc/foreign/node23.html
 + lib/oz/doc/foreign/node24.html
 + lib/oz/doc/foreign/node25.html
 + lib/oz/doc/foreign/node3.html
 + lib/oz/doc/foreign/node4.html
 + lib/oz/doc/foreign/node5.html
 + lib/oz/doc/foreign/node6.html
 + lib/oz/doc/foreign/node7.html
 + lib/oz/doc/foreign/node8.html
 + lib/oz/doc/foreign/node9.html
 + lib/oz/doc/foreign/ozdoc.css
 + lib/oz/doc/foreign/page.gif
 + lib/oz/doc/gump/bib.html
 + lib/oz/doc/gump/gump.gif
 + lib/oz/doc/gump/idx.html
 + lib/oz/doc/gump/index.html
 + lib/oz/doc/gump/node1.html
 + lib/oz/doc/gump/node2.html
 + lib/oz/doc/gump/node3.html
 + lib/oz/doc/gump/node4.html
 + lib/oz/doc/gump/node5.html
 + lib/oz/doc/gump/node6.html
 + lib/oz/doc/gump/node7.html
 + lib/oz/doc/gump/node8.html
 + lib/oz/doc/gump/ozdoc.css
 + lib/oz/doc/gump/page.gif
 + lib/oz/doc/op/bib.html
 + lib/oz/doc/op/danger.gif
 + lib/oz/doc/op/idx.html
 + lib/oz/doc/op/index.html
 + lib/oz/doc/op/latex1.gif
 + lib/oz/doc/op/node1.html
 + lib/oz/doc/op/node10.html
 + lib/oz/doc/op/node11.html
 + lib/oz/doc/op/node12.html
 + lib/oz/doc/op/node13.html
 + lib/oz/doc/op/node14.html
 + lib/oz/doc/op/node15.html
 + lib/oz/doc/op/node16.html
 + lib/oz/doc/op/node17.html
 + lib/oz/doc/op/node2.html
 + lib/oz/doc/op/node3.html
 + lib/oz/doc/op/node4.html
 + lib/oz/doc/op/node5.html
 + lib/oz/doc/op/node6.html
 + lib/oz/doc/op/node7.html
 + lib/oz/doc/op/node8.html
 + lib/oz/doc/op/node9.html
 + lib/oz/doc/op/open.gif
 + lib/oz/doc/op/ozdoc.css
 + lib/oz/doc/op/page.gif
 + lib/oz/doc/op/toc.html
 + lib/oz/doc/op/OpenProgramming.oz
 + lib/oz/doc/opi/bib.html
 + lib/oz/doc/opi/idx.html
 + lib/oz/doc/opi/index.html
 + lib/oz/doc/opi/menu.gif
 + lib/oz/doc/opi/node1.html
 + lib/oz/doc/opi/node2.html
 + lib/oz/doc/opi/node3.html
 + lib/oz/doc/opi/node4.html
 + lib/oz/doc/opi/node5.html
 + lib/oz/doc/opi/node6.html
 + lib/oz/doc/opi/node7.html
 + lib/oz/doc/opi/node8.html
 + lib/oz/doc/opi/node9.html
 + lib/oz/doc/opi/ozdoc.css
 + lib/oz/doc/opi/page.gif
 + lib/oz/doc/ozcar/detach.gif
 + lib/oz/doc/ozcar/eval-expression.gif
 + lib/oz/doc/ozcar/exception-emacs.gif
 + lib/oz/doc/ozcar/exception.gif
 + lib/oz/doc/ozcar/exec-statement.gif
 + lib/oz/doc/ozcar/fac1.gif
 + lib/oz/doc/ozcar/fac2.gif
 + lib/oz/doc/ozcar/idx.html
 + lib/oz/doc/ozcar/index.html
 + lib/oz/doc/ozcar/kill.gif
 + lib/oz/doc/ozcar/menu-action.gif
 + lib/oz/doc/ozcar/menu-options.gif
 + lib/oz/doc/ozcar/menu-ozcar.gif
 + lib/oz/doc/ozcar/menu-stack.gif
 + lib/oz/doc/ozcar/menu-thread.gif
 + lib/oz/doc/ozcar/next.gif
 + lib/oz/doc/ozcar/node1.html
 + lib/oz/doc/ozcar/node2.html
 + lib/oz/doc/ozcar/node3.html
 + lib/oz/doc/ozcar/node4.html
 + lib/oz/doc/ozcar/node5.html
 + lib/oz/doc/ozcar/node6.html
 + lib/oz/doc/ozcar/node7.html
 + lib/oz/doc/ozcar/ozcar-hello-emacs.gif
 + lib/oz/doc/ozcar/ozcar-hello.gif
 + lib/oz/doc/ozcar/ozcar-initial.gif
 + lib/oz/doc/ozcar/ozdoc.css
 + lib/oz/doc/ozcar/page.gif
 + lib/oz/doc/ozcar/step.gif
 + lib/oz/doc/ozcar/stop.gif
 + lib/oz/doc/ozcar/submenu-detach.gif
 + lib/oz/doc/ozcar/submenu-terminate.gif
 + lib/oz/doc/ozcar/submenu-valueprinting.gif
 + lib/oz/doc/ozcar/unleash.gif
 + lib/oz/doc/profiler/index.html
 + lib/oz/doc/profiler/ozdoc.css
 + lib/oz/doc/profiler/page.gif
 + lib/oz/doc/profiler/prof1.gif
 + lib/oz/doc/profiler/prof2.gif
 + lib/oz/doc/profiler/prof3.gif
 + lib/oz/doc/ozdoc/index.html
 + lib/oz/doc/ozdoc/node1.html
 + lib/oz/doc/ozdoc/node2.html
 + lib/oz/doc/ozdoc/node3.html
 + lib/oz/doc/ozdoc/node4.html
 + lib/oz/doc/ozdoc/node5.html
 + lib/oz/doc/ozdoc/node6.html
 + lib/oz/doc/ozdoc/node7.html
 + lib/oz/doc/ozdoc/ozdoc.css
 + lib/oz/doc/ozdoc/page.gif
 + lib/oz/doc/tools/danger.gif
 + lib/oz/doc/tools/idx.html
 + lib/oz/doc/tools/index.html
 + lib/oz/doc/tools/node1.html
 + lib/oz/doc/tools/node10.html
 + lib/oz/doc/tools/node11.html
 + lib/oz/doc/tools/node12.html
 + lib/oz/doc/tools/node13.html
 + lib/oz/doc/tools/node14.html
 + lib/oz/doc/tools/node2.html
 + lib/oz/doc/tools/node3.html
 + lib/oz/doc/tools/node4.html
 + lib/oz/doc/tools/node5.html
 + lib/oz/doc/tools/node6.html
 + lib/oz/doc/tools/node7.html
 + lib/oz/doc/tools/node8.html
 + lib/oz/doc/tools/node9.html
 + lib/oz/doc/tools/ozdoc.css
 + lib/oz/doc/tools/page.gif
 + lib/oz/doc/tools/toc.html
 + lib/oz/doc/wp/barchart.gif
 + lib/oz/doc/wp/bib.html
 + lib/oz/doc/wp/button.gif
 + lib/oz/doc/wp/check-and-radio-action.gif
 + lib/oz/doc/wp/check-and-radio.gif
 + lib/oz/doc/wp/dialog.gif
 + lib/oz/doc/wp/display.gif
 + lib/oz/doc/wp/entry.gif
 + lib/oz/doc/wp/error.gif
 + lib/oz/doc/wp/file.gif
 + lib/oz/doc/wp/fonts.gif
 + lib/oz/doc/wp/grid-span.gif
 + lib/oz/doc/wp/grid-sticky.gif
 + lib/oz/doc/wp/grid-weight.gif
 + lib/oz/doc/wp/grid.gif
 + lib/oz/doc/wp/help.gif
 + lib/oz/doc/wp/idx.html
 + lib/oz/doc/wp/images-1.gif
 + lib/oz/doc/wp/index.html
 + lib/oz/doc/wp/labels.gif
 + lib/oz/doc/wp/latex1.gif
 + lib/oz/doc/wp/listbox.gif
 + lib/oz/doc/wp/lower.gif
 + lib/oz/doc/wp/magnifier.xbm
 + lib/oz/doc/wp/menu.gif
 + lib/oz/doc/wp/menubar.gif
 + lib/oz/doc/wp/messages.gif
 + lib/oz/doc/wp/node1.html
 + lib/oz/doc/wp/node10.html
 + lib/oz/doc/wp/node11.html
 + lib/oz/doc/wp/node12.html
 + lib/oz/doc/wp/node13.html
 + lib/oz/doc/wp/node14.html
 + lib/oz/doc/wp/node15.html
 + lib/oz/doc/wp/node16.html
 + lib/oz/doc/wp/node17.html
 + lib/oz/doc/wp/node18.html
 + lib/oz/doc/wp/node19.html
 + lib/oz/doc/wp/node2.html
 + lib/oz/doc/wp/node20.html
 + lib/oz/doc/wp/node21.html
 + lib/oz/doc/wp/node22.html
 + lib/oz/doc/wp/node23.html
 + lib/oz/doc/wp/node24.html
 + lib/oz/doc/wp/node25.html
 + lib/oz/doc/wp/node26.html
 + lib/oz/doc/wp/node27.html
 + lib/oz/doc/wp/node28.html
 + lib/oz/doc/wp/node29.html
 + lib/oz/doc/wp/node3.html
 + lib/oz/doc/wp/node30.html
 + lib/oz/doc/wp/node31.html
 + lib/oz/doc/wp/node32.html
 + lib/oz/doc/wp/node33.html
 + lib/oz/doc/wp/node34.html
 + lib/oz/doc/wp/node35.html
 + lib/oz/doc/wp/node36.html
 + lib/oz/doc/wp/node37.html
 + lib/oz/doc/wp/node38.html
 + lib/oz/doc/wp/node39.html
 + lib/oz/doc/wp/node4.html
 + lib/oz/doc/wp/node40.html
 + lib/oz/doc/wp/node41.html
 + lib/oz/doc/wp/node42.html
 + lib/oz/doc/wp/node43.html
 + lib/oz/doc/wp/node44.html
 + lib/oz/doc/wp/node45.html
 + lib/oz/doc/wp/node46.html
 + lib/oz/doc/wp/node5.html
 + lib/oz/doc/wp/node6.html
 + lib/oz/doc/wp/node7.html
 + lib/oz/doc/wp/node8.html
 + lib/oz/doc/wp/node9.html
 + lib/oz/doc/wp/ozdoc.css
 + lib/oz/doc/wp/packer-anchor.gif
 + lib/oz/doc/wp/packer-bottom.gif
 + lib/oz/doc/wp/packer-fill.gif
 + lib/oz/doc/wp/packer-ipad.gif
 + lib/oz/doc/wp/packer-left.gif
 + lib/oz/doc/wp/packer-pad.gif
 + lib/oz/doc/wp/packer-plain.gif
 + lib/oz/doc/wp/packer-resize-both.gif
 + lib/oz/doc/wp/packer-resize-expand.gif
 + lib/oz/doc/wp/packer-resize-fill.gif
 + lib/oz/doc/wp/page.gif
 + lib/oz/doc/wp/predefined.gif
 + lib/oz/doc/wp/queen.xbm
 + lib/oz/doc/wp/relief-frames.gif
 + lib/oz/doc/wp/scale.gif
 + lib/oz/doc/wp/tags.gif
 + lib/oz/doc/wp/text-tags.gif
 + lib/oz/doc/wp/toc.html
 + lib/oz/doc/wp/toy.gif
 + lib/oz/doc/wp/toplevel-1.gif
 + lib/oz/doc/wp/truck-left.ppm
 + lib/oz/doc/wp/truck-right.ppm
 + lib/oz/doc/wp/upper.gif
 + lib/oz/doc/wp/waitdone.gif
 + lib/oz/doc/wp/widget-anchor.gif
 + lib/oz/doc/wp/wp.gif
 + lib/oz/doc/wp/WindowProgramming.oz
 + lib/oz/doc/fdt/answers.html
 + lib/oz/doc/fdt/bib.html
 + lib/oz/doc/fdt/bridge-tree-1.gif
 + lib/oz/doc/fdt/bridge-tree-2.gif
 + lib/oz/doc/fdt/bridge.gif
 + lib/oz/doc/fdt/explorer-a.gif
 + lib/oz/doc/fdt/explorer-b.gif
 + lib/oz/doc/fdt/fdt.gif
 + lib/oz/doc/fdt/gantt.gif
 + lib/oz/doc/fdt/idx.html
 + lib/oz/doc/fdt/index.html
 + lib/oz/doc/fdt/latex1.gif
 + lib/oz/doc/fdt/latex10.gif
 + lib/oz/doc/fdt/latex100.gif
 + lib/oz/doc/fdt/latex101.gif
 + lib/oz/doc/fdt/latex102.gif
 + lib/oz/doc/fdt/latex103.gif
 + lib/oz/doc/fdt/latex104.gif
 + lib/oz/doc/fdt/latex105.gif
 + lib/oz/doc/fdt/latex106.gif
 + lib/oz/doc/fdt/latex107.gif
 + lib/oz/doc/fdt/latex108.gif
 + lib/oz/doc/fdt/latex109.gif
 + lib/oz/doc/fdt/latex11.gif
 + lib/oz/doc/fdt/latex110.gif
 + lib/oz/doc/fdt/latex111.gif
 + lib/oz/doc/fdt/latex112.gif
 + lib/oz/doc/fdt/latex113.gif
 + lib/oz/doc/fdt/latex114.gif
 + lib/oz/doc/fdt/latex115.gif
 + lib/oz/doc/fdt/latex116.gif
 + lib/oz/doc/fdt/latex117.gif
 + lib/oz/doc/fdt/latex118.gif
 + lib/oz/doc/fdt/latex119.gif
 + lib/oz/doc/fdt/latex12.gif
 + lib/oz/doc/fdt/latex120.gif
 + lib/oz/doc/fdt/latex121.gif
 + lib/oz/doc/fdt/latex122.gif
 + lib/oz/doc/fdt/latex123.gif
 + lib/oz/doc/fdt/latex124.gif
 + lib/oz/doc/fdt/latex125.gif
 + lib/oz/doc/fdt/latex126.gif
 + lib/oz/doc/fdt/latex127.gif
 + lib/oz/doc/fdt/latex128.gif
 + lib/oz/doc/fdt/latex129.gif
 + lib/oz/doc/fdt/latex13.gif
 + lib/oz/doc/fdt/latex130.gif
 + lib/oz/doc/fdt/latex131.gif
 + lib/oz/doc/fdt/latex132.gif
 + lib/oz/doc/fdt/latex133.gif
 + lib/oz/doc/fdt/latex134.gif
 + lib/oz/doc/fdt/latex135.gif
 + lib/oz/doc/fdt/latex136.gif
 + lib/oz/doc/fdt/latex137.gif
 + lib/oz/doc/fdt/latex138.gif
 + lib/oz/doc/fdt/latex139.gif
 + lib/oz/doc/fdt/latex14.gif
 + lib/oz/doc/fdt/latex140.gif
 + lib/oz/doc/fdt/latex141.gif
 + lib/oz/doc/fdt/latex142.gif
 + lib/oz/doc/fdt/latex143.gif
 + lib/oz/doc/fdt/latex144.gif
 + lib/oz/doc/fdt/latex145.gif
 + lib/oz/doc/fdt/latex146.gif
 + lib/oz/doc/fdt/latex147.gif
 + lib/oz/doc/fdt/latex148.gif
 + lib/oz/doc/fdt/latex149.gif
 + lib/oz/doc/fdt/latex15.gif
 + lib/oz/doc/fdt/latex150.gif
 + lib/oz/doc/fdt/latex151.gif
 + lib/oz/doc/fdt/latex152.gif
 + lib/oz/doc/fdt/latex153.gif
 + lib/oz/doc/fdt/latex154.gif
 + lib/oz/doc/fdt/latex155.gif
 + lib/oz/doc/fdt/latex156.gif
 + lib/oz/doc/fdt/latex157.gif
 + lib/oz/doc/fdt/latex158.gif
 + lib/oz/doc/fdt/latex159.gif
 + lib/oz/doc/fdt/latex16.gif
 + lib/oz/doc/fdt/latex160.gif
 + lib/oz/doc/fdt/latex161.gif
 + lib/oz/doc/fdt/latex162.gif
 + lib/oz/doc/fdt/latex163.gif
 + lib/oz/doc/fdt/latex164.gif
 + lib/oz/doc/fdt/latex165.gif
 + lib/oz/doc/fdt/latex166.gif
 + lib/oz/doc/fdt/latex167.gif
 + lib/oz/doc/fdt/latex168.gif
 + lib/oz/doc/fdt/latex169.gif
 + lib/oz/doc/fdt/latex17.gif
 + lib/oz/doc/fdt/latex170.gif
 + lib/oz/doc/fdt/latex171.gif
 + lib/oz/doc/fdt/latex172.gif
 + lib/oz/doc/fdt/latex173.gif
 + lib/oz/doc/fdt/latex174.gif
 + lib/oz/doc/fdt/latex175.gif
 + lib/oz/doc/fdt/latex176.gif
 + lib/oz/doc/fdt/latex177.gif
 + lib/oz/doc/fdt/latex178.gif
 + lib/oz/doc/fdt/latex179.gif
 + lib/oz/doc/fdt/latex18.gif
 + lib/oz/doc/fdt/latex180.gif
 + lib/oz/doc/fdt/latex181.gif
 + lib/oz/doc/fdt/latex182.gif
 + lib/oz/doc/fdt/latex183.gif
 + lib/oz/doc/fdt/latex184.gif
 + lib/oz/doc/fdt/latex185.gif
 + lib/oz/doc/fdt/latex186.gif
 + lib/oz/doc/fdt/latex187.gif
 + lib/oz/doc/fdt/latex188.gif
 + lib/oz/doc/fdt/latex189.gif
 + lib/oz/doc/fdt/latex19.gif
 + lib/oz/doc/fdt/latex190.gif
 + lib/oz/doc/fdt/latex191.gif
 + lib/oz/doc/fdt/latex192.gif
 + lib/oz/doc/fdt/latex193.gif
 + lib/oz/doc/fdt/latex194.gif
 + lib/oz/doc/fdt/latex195.gif
 + lib/oz/doc/fdt/latex196.gif
 + lib/oz/doc/fdt/latex197.gif
 + lib/oz/doc/fdt/latex198.gif
 + lib/oz/doc/fdt/latex199.gif
 + lib/oz/doc/fdt/latex2.gif
 + lib/oz/doc/fdt/latex20.gif
 + lib/oz/doc/fdt/latex200.gif
 + lib/oz/doc/fdt/latex201.gif
 + lib/oz/doc/fdt/latex21.gif
 + lib/oz/doc/fdt/latex202.gif
 + lib/oz/doc/fdt/latex203.gif
 + lib/oz/doc/fdt/latex204.gif
 + lib/oz/doc/fdt/latex205.gif
 + lib/oz/doc/fdt/latex206.gif
 + lib/oz/doc/fdt/latex207.gif
 + lib/oz/doc/fdt/latex208.gif
 + lib/oz/doc/fdt/latex209.gif
 + lib/oz/doc/fdt/latex210.gif
 + lib/oz/doc/fdt/latex211.gif
 + lib/oz/doc/fdt/latex212.gif
 + lib/oz/doc/fdt/latex213.gif
 + lib/oz/doc/fdt/latex214.gif
 + lib/oz/doc/fdt/latex215.gif
 + lib/oz/doc/fdt/latex216.gif
 + lib/oz/doc/fdt/latex217.gif
 + lib/oz/doc/fdt/latex218.gif
 + lib/oz/doc/fdt/latex219.gif
 + lib/oz/doc/fdt/latex22.gif
 + lib/oz/doc/fdt/latex220.gif
 + lib/oz/doc/fdt/latex221.gif
 + lib/oz/doc/fdt/latex222.gif
 + lib/oz/doc/fdt/latex223.gif
 + lib/oz/doc/fdt/latex224.gif
 + lib/oz/doc/fdt/latex225.gif
 + lib/oz/doc/fdt/latex226.gif
 + lib/oz/doc/fdt/latex227.gif
 + lib/oz/doc/fdt/latex228.gif
 + lib/oz/doc/fdt/latex229.gif
 + lib/oz/doc/fdt/latex23.gif
 + lib/oz/doc/fdt/latex230.gif
 + lib/oz/doc/fdt/latex231.gif
 + lib/oz/doc/fdt/latex232.gif
 + lib/oz/doc/fdt/latex233.gif
 + lib/oz/doc/fdt/latex234.gif
 + lib/oz/doc/fdt/latex235.gif
 + lib/oz/doc/fdt/latex236.gif
 + lib/oz/doc/fdt/latex237.gif
 + lib/oz/doc/fdt/latex238.gif
 + lib/oz/doc/fdt/latex239.gif
 + lib/oz/doc/fdt/latex24.gif
 + lib/oz/doc/fdt/latex240.gif
 + lib/oz/doc/fdt/latex241.gif
 + lib/oz/doc/fdt/latex242.gif
 + lib/oz/doc/fdt/latex243.gif
 + lib/oz/doc/fdt/latex244.gif
 + lib/oz/doc/fdt/latex245.gif
 + lib/oz/doc/fdt/latex246.gif
 + lib/oz/doc/fdt/latex247.gif
 + lib/oz/doc/fdt/latex248.gif
 + lib/oz/doc/fdt/latex249.gif
 + lib/oz/doc/fdt/latex25.gif
 + lib/oz/doc/fdt/latex250.gif
 + lib/oz/doc/fdt/latex251.gif
 + lib/oz/doc/fdt/latex252.gif
 + lib/oz/doc/fdt/latex253.gif
 + lib/oz/doc/fdt/latex254.gif
 + lib/oz/doc/fdt/latex255.gif
 + lib/oz/doc/fdt/latex256.gif
 + lib/oz/doc/fdt/latex257.gif
 + lib/oz/doc/fdt/latex258.gif
 + lib/oz/doc/fdt/latex259.gif
 + lib/oz/doc/fdt/latex26.gif
 + lib/oz/doc/fdt/latex260.gif
 + lib/oz/doc/fdt/latex261.gif
 + lib/oz/doc/fdt/latex262.gif
 + lib/oz/doc/fdt/latex263.gif
 + lib/oz/doc/fdt/latex264.gif
 + lib/oz/doc/fdt/latex265.gif
 + lib/oz/doc/fdt/latex266.gif
 + lib/oz/doc/fdt/latex267.gif
 + lib/oz/doc/fdt/latex268.gif
 + lib/oz/doc/fdt/latex269.gif
 + lib/oz/doc/fdt/latex27.gif
 + lib/oz/doc/fdt/latex270.gif
 + lib/oz/doc/fdt/latex271.gif
 + lib/oz/doc/fdt/latex272.gif
 + lib/oz/doc/fdt/latex273.gif
 + lib/oz/doc/fdt/latex274.gif
 + lib/oz/doc/fdt/latex275.gif
 + lib/oz/doc/fdt/latex276.gif
 + lib/oz/doc/fdt/latex277.gif
 + lib/oz/doc/fdt/latex278.gif
 + lib/oz/doc/fdt/latex279.gif
 + lib/oz/doc/fdt/latex28.gif
 + lib/oz/doc/fdt/latex280.gif
 + lib/oz/doc/fdt/latex281.gif
 + lib/oz/doc/fdt/latex282.gif
 + lib/oz/doc/fdt/latex283.gif
 + lib/oz/doc/fdt/latex284.gif
 + lib/oz/doc/fdt/latex285.gif
 + lib/oz/doc/fdt/latex286.gif
 + lib/oz/doc/fdt/latex287.gif
 + lib/oz/doc/fdt/latex288.gif
 + lib/oz/doc/fdt/latex289.gif
 + lib/oz/doc/fdt/latex29.gif
 + lib/oz/doc/fdt/latex290.gif
 + lib/oz/doc/fdt/latex291.gif
 + lib/oz/doc/fdt/latex292.gif
 + lib/oz/doc/fdt/latex293.gif
 + lib/oz/doc/fdt/latex294.gif
 + lib/oz/doc/fdt/latex295.gif
 + lib/oz/doc/fdt/latex296.gif
 + lib/oz/doc/fdt/latex297.gif
 + lib/oz/doc/fdt/latex298.gif
 + lib/oz/doc/fdt/latex299.gif
 + lib/oz/doc/fdt/latex3.gif
 + lib/oz/doc/fdt/latex30.gif
 + lib/oz/doc/fdt/latex300.gif
 + lib/oz/doc/fdt/latex301.gif
 + lib/oz/doc/fdt/latex302.gif
 + lib/oz/doc/fdt/latex303.gif
 + lib/oz/doc/fdt/latex304.gif
 + lib/oz/doc/fdt/latex305.gif
 + lib/oz/doc/fdt/latex306.gif
 + lib/oz/doc/fdt/latex307.gif
 + lib/oz/doc/fdt/latex308.gif
 + lib/oz/doc/fdt/latex309.gif
 + lib/oz/doc/fdt/latex31.gif
 + lib/oz/doc/fdt/latex310.gif
 + lib/oz/doc/fdt/latex311.gif
 + lib/oz/doc/fdt/latex312.gif
 + lib/oz/doc/fdt/latex313.gif
 + lib/oz/doc/fdt/latex314.gif
 + lib/oz/doc/fdt/latex315.gif
 + lib/oz/doc/fdt/latex316.gif
 + lib/oz/doc/fdt/latex32.gif
 + lib/oz/doc/fdt/latex317.gif
 + lib/oz/doc/fdt/latex318.gif
 + lib/oz/doc/fdt/latex319.gif
 + lib/oz/doc/fdt/latex320.gif
 + lib/oz/doc/fdt/latex321.gif
 + lib/oz/doc/fdt/latex322.gif
 + lib/oz/doc/fdt/latex323.gif
 + lib/oz/doc/fdt/latex324.gif
 + lib/oz/doc/fdt/latex325.gif
 + lib/oz/doc/fdt/latex326.gif
 + lib/oz/doc/fdt/latex327.gif
 + lib/oz/doc/fdt/latex328.gif
 + lib/oz/doc/fdt/latex329.gif
 + lib/oz/doc/fdt/latex33.gif
 + lib/oz/doc/fdt/latex330.gif
 + lib/oz/doc/fdt/latex331.gif
 + lib/oz/doc/fdt/latex332.gif
 + lib/oz/doc/fdt/latex333.gif
 + lib/oz/doc/fdt/latex334.gif
 + lib/oz/doc/fdt/latex335.gif
 + lib/oz/doc/fdt/latex336.gif
 + lib/oz/doc/fdt/latex337.gif
 + lib/oz/doc/fdt/latex338.gif
 + lib/oz/doc/fdt/latex339.gif
 + lib/oz/doc/fdt/latex34.gif
 + lib/oz/doc/fdt/latex340.gif
 + lib/oz/doc/fdt/latex341.gif
 + lib/oz/doc/fdt/latex342.gif
 + lib/oz/doc/fdt/latex343.gif
 + lib/oz/doc/fdt/latex344.gif
 + lib/oz/doc/fdt/latex345.gif
 + lib/oz/doc/fdt/latex346.gif
 + lib/oz/doc/fdt/latex347.gif
 + lib/oz/doc/fdt/latex348.gif
 + lib/oz/doc/fdt/latex349.gif
 + lib/oz/doc/fdt/latex35.gif
 + lib/oz/doc/fdt/latex350.gif
 + lib/oz/doc/fdt/latex351.gif
 + lib/oz/doc/fdt/latex352.gif
 + lib/oz/doc/fdt/latex353.gif
 + lib/oz/doc/fdt/latex36.gif
 + lib/oz/doc/fdt/latex37.gif
 + lib/oz/doc/fdt/latex38.gif
 + lib/oz/doc/fdt/latex39.gif
 + lib/oz/doc/fdt/latex4.gif
 + lib/oz/doc/fdt/latex40.gif
 + lib/oz/doc/fdt/latex41.gif
 + lib/oz/doc/fdt/latex42.gif
 + lib/oz/doc/fdt/latex43.gif
 + lib/oz/doc/fdt/latex44.gif
 + lib/oz/doc/fdt/latex45.gif
 + lib/oz/doc/fdt/latex46.gif
 + lib/oz/doc/fdt/latex47.gif
 + lib/oz/doc/fdt/latex48.gif
 + lib/oz/doc/fdt/latex49.gif
 + lib/oz/doc/fdt/latex5.gif
 + lib/oz/doc/fdt/latex50.gif
 + lib/oz/doc/fdt/latex51.gif
 + lib/oz/doc/fdt/latex52.gif
 + lib/oz/doc/fdt/latex53.gif
 + lib/oz/doc/fdt/latex54.gif
 + lib/oz/doc/fdt/latex55.gif
 + lib/oz/doc/fdt/latex56.gif
 + lib/oz/doc/fdt/latex57.gif
 + lib/oz/doc/fdt/latex58.gif
 + lib/oz/doc/fdt/latex59.gif
 + lib/oz/doc/fdt/latex6.gif
 + lib/oz/doc/fdt/latex60.gif
 + lib/oz/doc/fdt/latex61.gif
 + lib/oz/doc/fdt/latex62.gif
 + lib/oz/doc/fdt/latex63.gif
 + lib/oz/doc/fdt/latex64.gif
 + lib/oz/doc/fdt/latex65.gif
 + lib/oz/doc/fdt/latex66.gif
 + lib/oz/doc/fdt/latex67.gif
 + lib/oz/doc/fdt/latex68.gif
 + lib/oz/doc/fdt/latex69.gif
 + lib/oz/doc/fdt/latex7.gif
 + lib/oz/doc/fdt/latex70.gif
 + lib/oz/doc/fdt/latex71.gif
 + lib/oz/doc/fdt/latex72.gif
 + lib/oz/doc/fdt/latex73.gif
 + lib/oz/doc/fdt/latex74.gif
 + lib/oz/doc/fdt/latex75.gif
 + lib/oz/doc/fdt/latex76.gif
 + lib/oz/doc/fdt/latex77.gif
 + lib/oz/doc/fdt/latex78.gif
 + lib/oz/doc/fdt/latex79.gif
 + lib/oz/doc/fdt/latex8.gif
 + lib/oz/doc/fdt/latex80.gif
 + lib/oz/doc/fdt/latex81.gif
 + lib/oz/doc/fdt/latex82.gif
 + lib/oz/doc/fdt/latex83.gif
 + lib/oz/doc/fdt/latex84.gif
 + lib/oz/doc/fdt/latex85.gif
 + lib/oz/doc/fdt/latex86.gif
 + lib/oz/doc/fdt/latex87.gif
 + lib/oz/doc/fdt/latex88.gif
 + lib/oz/doc/fdt/latex89.gif
 + lib/oz/doc/fdt/latex9.gif
 + lib/oz/doc/fdt/latex90.gif
 + lib/oz/doc/fdt/latex91.gif
 + lib/oz/doc/fdt/latex92.gif
 + lib/oz/doc/fdt/latex93.gif
 + lib/oz/doc/fdt/latex94.gif
 + lib/oz/doc/fdt/latex95.gif
 + lib/oz/doc/fdt/latex96.gif
 + lib/oz/doc/fdt/latex97.gif
 + lib/oz/doc/fdt/latex98.gif
 + lib/oz/doc/fdt/latex99.gif
 + lib/oz/doc/fdt/node1.html
 + lib/oz/doc/fdt/node10.html
 + lib/oz/doc/fdt/node11.html
 + lib/oz/doc/fdt/node12.html
 + lib/oz/doc/fdt/node13.html
 + lib/oz/doc/fdt/node14.html
 + lib/oz/doc/fdt/node15.html
 + lib/oz/doc/fdt/node16.html
 + lib/oz/doc/fdt/node17.html
 + lib/oz/doc/fdt/node18.html
 + lib/oz/doc/fdt/node19.html
 + lib/oz/doc/fdt/node2.html
 + lib/oz/doc/fdt/node20.html
 + lib/oz/doc/fdt/node21.html
 + lib/oz/doc/fdt/node22.html
 + lib/oz/doc/fdt/node23.html
 + lib/oz/doc/fdt/node24.html
 + lib/oz/doc/fdt/node25.html
 + lib/oz/doc/fdt/node26.html
 + lib/oz/doc/fdt/node27.html
 + lib/oz/doc/fdt/node28.html
 + lib/oz/doc/fdt/node29.html
 + lib/oz/doc/fdt/node3.html
 + lib/oz/doc/fdt/node30.html
 + lib/oz/doc/fdt/node31.html
 + lib/oz/doc/fdt/node32.html
 + lib/oz/doc/fdt/node33.html
 + lib/oz/doc/fdt/node34.html
 + lib/oz/doc/fdt/node35.html
 + lib/oz/doc/fdt/node36.html
 + lib/oz/doc/fdt/node37.html
 + lib/oz/doc/fdt/node38.html
 + lib/oz/doc/fdt/node39.html
 + lib/oz/doc/fdt/node4.html
 + lib/oz/doc/fdt/node40.html
 + lib/oz/doc/fdt/node41.html
 + lib/oz/doc/fdt/node42.html
 + lib/oz/doc/fdt/node43.html
 + lib/oz/doc/fdt/node44.html
 + lib/oz/doc/fdt/node45.html
 + lib/oz/doc/fdt/node46.html
 + lib/oz/doc/fdt/node47.html
 + lib/oz/doc/fdt/node48.html
 + lib/oz/doc/fdt/node49.html
 + lib/oz/doc/fdt/node5.html
 + lib/oz/doc/fdt/node50.html
 + lib/oz/doc/fdt/node51.html
 + lib/oz/doc/fdt/node52.html
 + lib/oz/doc/fdt/node53.html
 + lib/oz/doc/fdt/node54.html
 + lib/oz/doc/fdt/node6.html
 + lib/oz/doc/fdt/node7.html
 + lib/oz/doc/fdt/node8.html
 + lib/oz/doc/fdt/node9.html
 + lib/oz/doc/fdt/ozdoc.css
 + lib/oz/doc/fdt/page.gif
 + lib/oz/doc/fdt/queen.gif
 + lib/oz/doc/fdt/search-tree.gif
 + lib/oz/doc/fdt/toc.html
 + lib/oz/doc/fdt/FiniteDomainTutorial.oz
 + lib/oz/doc/fdt/FiniteDomainTutorialSolutions.oz
 + lib/oz/doc/fst/bib.html
 + lib/oz/doc/fst/crew_browser.gif
 + lib/oz/doc/fst/fset_steiner_naive.gif
 + lib/oz/doc/fst/fset_steiner_order.gif
 + lib/oz/doc/fst/golf_explorer.gif
 + lib/oz/doc/fst/hamming_browser.gif
 + lib/oz/doc/fst/index.html
 + lib/oz/doc/fst/latex1.gif
 + lib/oz/doc/fst/latex10.gif
 + lib/oz/doc/fst/latex11.gif
 + lib/oz/doc/fst/latex12.gif
 + lib/oz/doc/fst/latex13.gif
 + lib/oz/doc/fst/latex14.gif
 + lib/oz/doc/fst/latex15.gif
 + lib/oz/doc/fst/latex16.gif
 + lib/oz/doc/fst/latex17.gif
 + lib/oz/doc/fst/latex18.gif
 + lib/oz/doc/fst/latex19.gif
 + lib/oz/doc/fst/latex2.gif
 + lib/oz/doc/fst/latex20.gif
 + lib/oz/doc/fst/latex21.gif
 + lib/oz/doc/fst/latex22.gif
 + lib/oz/doc/fst/latex23.gif
 + lib/oz/doc/fst/latex24.gif
 + lib/oz/doc/fst/latex25.gif
 + lib/oz/doc/fst/latex26.gif
 + lib/oz/doc/fst/latex27.gif
 + lib/oz/doc/fst/latex28.gif
 + lib/oz/doc/fst/latex29.gif
 + lib/oz/doc/fst/latex3.gif
 + lib/oz/doc/fst/latex30.gif
 + lib/oz/doc/fst/latex31.gif
 + lib/oz/doc/fst/latex32.gif
 + lib/oz/doc/fst/latex33.gif
 + lib/oz/doc/fst/latex34.gif
 + lib/oz/doc/fst/latex35.gif
 + lib/oz/doc/fst/latex36.gif
 + lib/oz/doc/fst/latex37.gif
 + lib/oz/doc/fst/latex38.gif
 + lib/oz/doc/fst/latex39.gif
 + lib/oz/doc/fst/latex4.gif
 + lib/oz/doc/fst/latex40.gif
 + lib/oz/doc/fst/latex41.gif
 + lib/oz/doc/fst/latex42.gif
 + lib/oz/doc/fst/latex43.gif
 + lib/oz/doc/fst/latex44.gif
 + lib/oz/doc/fst/latex45.gif
 + lib/oz/doc/fst/latex46.gif
 + lib/oz/doc/fst/latex47.gif
 + lib/oz/doc/fst/latex48.gif
 + lib/oz/doc/fst/latex49.gif
 + lib/oz/doc/fst/latex5.gif
 + lib/oz/doc/fst/latex50.gif
 + lib/oz/doc/fst/latex51.gif
 + lib/oz/doc/fst/latex52.gif
 + lib/oz/doc/fst/latex53.gif
 + lib/oz/doc/fst/latex54.gif
 + lib/oz/doc/fst/latex55.gif
 + lib/oz/doc/fst/latex56.gif
 + lib/oz/doc/fst/latex6.gif
 + lib/oz/doc/fst/latex7.gif
 + lib/oz/doc/fst/latex8.gif
 + lib/oz/doc/fst/latex9.gif
 + lib/oz/doc/fst/node1.html
 + lib/oz/doc/fst/node2.html
 + lib/oz/doc/fst/node3.html
 + lib/oz/doc/fst/node4.html
 + lib/oz/doc/fst/node5.html
 + lib/oz/doc/fst/node6.html
 + lib/oz/doc/fst/ozdoc.css
 + lib/oz/doc/fst/page.gif
 + lib/oz/doc/fst/setdistr.gif
 + lib/oz/doc/cpitut/bib.html
 + lib/oz/doc/cpitut/ct.html
 + lib/oz/doc/cpitut/danger.gif
 + lib/oz/doc/cpitut/idx.html
 + lib/oz/doc/cpitut/index.html
 + lib/oz/doc/cpitut/latex1.gif
 + lib/oz/doc/cpitut/latex10.gif
 + lib/oz/doc/cpitut/latex100.gif
 + lib/oz/doc/cpitut/latex101.gif
 + lib/oz/doc/cpitut/latex102.gif
 + lib/oz/doc/cpitut/latex103.gif
 + lib/oz/doc/cpitut/latex104.gif
 + lib/oz/doc/cpitut/latex105.gif
 + lib/oz/doc/cpitut/latex106.gif
 + lib/oz/doc/cpitut/latex107.gif
 + lib/oz/doc/cpitut/latex108.gif
 + lib/oz/doc/cpitut/latex109.gif
 + lib/oz/doc/cpitut/latex11.gif
 + lib/oz/doc/cpitut/latex110.gif
 + lib/oz/doc/cpitut/latex111.gif
 + lib/oz/doc/cpitut/latex112.gif
 + lib/oz/doc/cpitut/latex12.gif
 + lib/oz/doc/cpitut/latex113.gif
 + lib/oz/doc/cpitut/latex114.gif
 + lib/oz/doc/cpitut/latex115.gif
 + lib/oz/doc/cpitut/latex116.gif
 + lib/oz/doc/cpitut/latex13.gif
 + lib/oz/doc/cpitut/latex14.gif
 + lib/oz/doc/cpitut/latex15.gif
 + lib/oz/doc/cpitut/latex16.gif
 + lib/oz/doc/cpitut/latex17.gif
 + lib/oz/doc/cpitut/latex18.gif
 + lib/oz/doc/cpitut/latex19.gif
 + lib/oz/doc/cpitut/latex2.gif
 + lib/oz/doc/cpitut/latex20.gif
 + lib/oz/doc/cpitut/latex21.gif
 + lib/oz/doc/cpitut/latex22.gif
 + lib/oz/doc/cpitut/latex23.gif
 + lib/oz/doc/cpitut/latex24.gif
 + lib/oz/doc/cpitut/latex25.gif
 + lib/oz/doc/cpitut/latex26.gif
 + lib/oz/doc/cpitut/latex27.gif
 + lib/oz/doc/cpitut/latex28.gif
 + lib/oz/doc/cpitut/latex29.gif
 + lib/oz/doc/cpitut/latex3.gif
 + lib/oz/doc/cpitut/latex30.gif
 + lib/oz/doc/cpitut/lp.html
 + lib/oz/doc/cpitut/latex31.gif
 + lib/oz/doc/cpitut/latex32.gif
 + lib/oz/doc/cpitut/latex33.gif
 + lib/oz/doc/cpitut/latex34.gif
 + lib/oz/doc/cpitut/latex35.gif
 + lib/oz/doc/cpitut/latex36.gif
 + lib/oz/doc/cpitut/latex37.gif
 + lib/oz/doc/cpitut/latex38.gif
 + lib/oz/doc/cpitut/latex39.gif
 + lib/oz/doc/cpitut/latex4.gif
 + lib/oz/doc/cpitut/latex40.gif
 + lib/oz/doc/cpitut/latex41.gif
 + lib/oz/doc/cpitut/latex42.gif
 + lib/oz/doc/cpitut/latex43.gif
 + lib/oz/doc/cpitut/latex44.gif
 + lib/oz/doc/cpitut/latex45.gif
 + lib/oz/doc/cpitut/latex46.gif
 + lib/oz/doc/cpitut/latex47.gif
 + lib/oz/doc/cpitut/latex48.gif
 + lib/oz/doc/cpitut/latex49.gif
 + lib/oz/doc/cpitut/latex5.gif
 + lib/oz/doc/cpitut/latex50.gif
 + lib/oz/doc/cpitut/latex51.gif
 + lib/oz/doc/cpitut/latex52.gif
 + lib/oz/doc/cpitut/latex53.gif
 + lib/oz/doc/cpitut/latex54.gif
 + lib/oz/doc/cpitut/latex55.gif
 + lib/oz/doc/cpitut/latex56.gif
 + lib/oz/doc/cpitut/latex57.gif
 + lib/oz/doc/cpitut/latex58.gif
 + lib/oz/doc/cpitut/latex59.gif
 + lib/oz/doc/cpitut/latex6.gif
 + lib/oz/doc/cpitut/latex60.gif
 + lib/oz/doc/cpitut/latex61.gif
 + lib/oz/doc/cpitut/latex62.gif
 + lib/oz/doc/cpitut/latex63.gif
 + lib/oz/doc/cpitut/latex64.gif
 + lib/oz/doc/cpitut/latex65.gif
 + lib/oz/doc/cpitut/latex66.gif
 + lib/oz/doc/cpitut/latex67.gif
 + lib/oz/doc/cpitut/latex68.gif
 + lib/oz/doc/cpitut/latex69.gif
 + lib/oz/doc/cpitut/latex7.gif
 + lib/oz/doc/cpitut/latex70.gif
 + lib/oz/doc/cpitut/latex71.gif
 + lib/oz/doc/cpitut/latex72.gif
 + lib/oz/doc/cpitut/latex73.gif
 + lib/oz/doc/cpitut/latex74.gif
 + lib/oz/doc/cpitut/latex75.gif
 + lib/oz/doc/cpitut/latex76.gif
 + lib/oz/doc/cpitut/latex77.gif
 + lib/oz/doc/cpitut/latex78.gif
 + lib/oz/doc/cpitut/latex79.gif
 + lib/oz/doc/cpitut/latex8.gif
 + lib/oz/doc/cpitut/latex80.gif
 + lib/oz/doc/cpitut/latex81.gif
 + lib/oz/doc/cpitut/latex82.gif
 + lib/oz/doc/cpitut/latex83.gif
 + lib/oz/doc/cpitut/latex84.gif
 + lib/oz/doc/cpitut/latex85.gif
 + lib/oz/doc/cpitut/latex86.gif
 + lib/oz/doc/cpitut/latex87.gif
 + lib/oz/doc/cpitut/latex88.gif
 + lib/oz/doc/cpitut/latex89.gif
 + lib/oz/doc/cpitut/latex9.gif
 + lib/oz/doc/cpitut/latex90.gif
 + lib/oz/doc/cpitut/latex91.gif
 + lib/oz/doc/cpitut/latex92.gif
 + lib/oz/doc/cpitut/latex93.gif
 + lib/oz/doc/cpitut/latex94.gif
 + lib/oz/doc/cpitut/latex95.gif
 + lib/oz/doc/cpitut/latex96.gif
 + lib/oz/doc/cpitut/latex97.gif
 + lib/oz/doc/cpitut/latex98.gif
 + lib/oz/doc/cpitut/latex99.gif
 + lib/oz/doc/cpitut/mks_fd_explorer.gif
 + lib/oz/doc/cpitut/mks_fdlp_explorer.gif
 + lib/oz/doc/cpitut/mks_lp_explorer.gif
 + lib/oz/doc/cpitut/node1.html
 + lib/oz/doc/cpitut/node10.html
 + lib/oz/doc/cpitut/node11.html
 + lib/oz/doc/cpitut/node12.html
 + lib/oz/doc/cpitut/node13.html
 + lib/oz/doc/cpitut/node14.html
 + lib/oz/doc/cpitut/node15.html
 + lib/oz/doc/cpitut/node16.html
 + lib/oz/doc/cpitut/node17.html
 + lib/oz/doc/cpitut/node18.html
 + lib/oz/doc/cpitut/node19.html
 + lib/oz/doc/cpitut/node2.html
 + lib/oz/doc/cpitut/node20.html
 + lib/oz/doc/cpitut/node21.html
 + lib/oz/doc/cpitut/node22.html
 + lib/oz/doc/cpitut/node23.html
 + lib/oz/doc/cpitut/node24.html
 + lib/oz/doc/cpitut/node25.html
 + lib/oz/doc/cpitut/node3.html
 + lib/oz/doc/cpitut/node4.html
 + lib/oz/doc/cpitut/node5.html
 + lib/oz/doc/cpitut/node6.html
 + lib/oz/doc/cpitut/node7.html
 + lib/oz/doc/cpitut/node8.html
 + lib/oz/doc/cpitut/node9.html
 + lib/oz/doc/cpitut/ozdoc.css
 + lib/oz/doc/cpitut/page.gif
 + lib/oz/doc/cpitut/propagatorstates.gif
 + lib/oz/doc/cpitut/toc.html
 + lib/oz/doc/cpiref/ct.html
 + lib/oz/doc/cpiref/idx.html
 + lib/oz/doc/cpiref/index.html
 + lib/oz/doc/cpiref/ip.html
 + lib/oz/doc/cpiref/latex1.gif
 + lib/oz/doc/cpiref/latex10.gif
 + lib/oz/doc/cpiref/latex11.gif
 + lib/oz/doc/cpiref/latex12.gif
 + lib/oz/doc/cpiref/latex13.gif
 + lib/oz/doc/cpiref/latex14.gif
 + lib/oz/doc/cpiref/latex15.gif
 + lib/oz/doc/cpiref/latex16.gif
 + lib/oz/doc/cpiref/latex17.gif
 + lib/oz/doc/cpiref/latex18.gif
 + lib/oz/doc/cpiref/latex19.gif
 + lib/oz/doc/cpiref/latex2.gif
 + lib/oz/doc/cpiref/latex20.gif
 + lib/oz/doc/cpiref/latex3.gif
 + lib/oz/doc/cpiref/latex4.gif
 + lib/oz/doc/cpiref/latex5.gif
 + lib/oz/doc/cpiref/latex6.gif
 + lib/oz/doc/cpiref/latex7.gif
 + lib/oz/doc/cpiref/latex8.gif
 + lib/oz/doc/cpiref/latex9.gif
 + lib/oz/doc/cpiref/lp.html
 + lib/oz/doc/cpiref/node1.html
 + lib/oz/doc/cpiref/node10.html
 + lib/oz/doc/cpiref/node11.html
 + lib/oz/doc/cpiref/node12.html
 + lib/oz/doc/cpiref/node13.html
 + lib/oz/doc/cpiref/node14.html
 + lib/oz/doc/cpiref/node15.html
 + lib/oz/doc/cpiref/node16.html
 + lib/oz/doc/cpiref/node17.html
 + lib/oz/doc/cpiref/node18.html
 + lib/oz/doc/cpiref/node19.html
 + lib/oz/doc/cpiref/node2.html
 + lib/oz/doc/cpiref/node20.html
 + lib/oz/doc/cpiref/node21.html
 + lib/oz/doc/cpiref/node22.html
 + lib/oz/doc/cpiref/node23.html
 + lib/oz/doc/cpiref/node24.html
 + lib/oz/doc/cpiref/node25.html
 + lib/oz/doc/cpiref/node26.html
 + lib/oz/doc/cpiref/node27.html
 + lib/oz/doc/cpiref/node3.html
 + lib/oz/doc/cpiref/node4.html
 + lib/oz/doc/cpiref/node5.html
 + lib/oz/doc/cpiref/node6.html
 + lib/oz/doc/cpiref/node7.html
 + lib/oz/doc/cpiref/page.gif
 + lib/oz/doc/cpiref/node8.html
 + lib/oz/doc/cpiref/node9.html
 + lib/oz/doc/cpiref/ozdoc.css
 + lib/oz/doc/cpiref/pel.html
 + lib/oz/doc/cpiref/toc.html
 + lib/oz/doc/install/index.html
 + lib/oz/doc/install/netscape.gif
 + lib/oz/doc/install/node1.html
 + lib/oz/doc/install/node2.html
 + lib/oz/doc/install/node3.html
 + lib/oz/doc/install/node4.html
 + lib/oz/doc/install/node5.html
 + lib/oz/doc/install/node6.html
 + lib/oz/doc/install/ozdoc.css
 + lib/oz/doc/install/page.gif
 + lib/oz/doc/tutorial/bib.html
 + lib/oz/doc/tutorial/image161.gif
 + lib/oz/doc/tutorial/image33.gif
 + lib/oz/doc/tutorial/index.html
 + lib/oz/doc/tutorial/inheritance1.gif
 + lib/oz/doc/tutorial/latex1.gif
 + lib/oz/doc/tutorial/latex10.gif
 + lib/oz/doc/tutorial/latex11.gif
 + lib/oz/doc/tutorial/latex12.gif
 + lib/oz/doc/tutorial/latex13.gif
 + lib/oz/doc/tutorial/latex14.gif
 + lib/oz/doc/tutorial/latex15.gif
 + lib/oz/doc/tutorial/latex16.gif
 + lib/oz/doc/tutorial/latex17.gif
 + lib/oz/doc/tutorial/latex18.gif
 + lib/oz/doc/tutorial/latex19.gif
 + lib/oz/doc/tutorial/latex2.gif
 + lib/oz/doc/tutorial/latex20.gif
 + lib/oz/doc/tutorial/latex21.gif
 + lib/oz/doc/tutorial/latex22.gif
 + lib/oz/doc/tutorial/latex23.gif
 + lib/oz/doc/tutorial/latex24.gif
 + lib/oz/doc/tutorial/latex25.gif
 + lib/oz/doc/tutorial/latex26.gif
 + lib/oz/doc/tutorial/latex27.gif
 + lib/oz/doc/tutorial/latex28.gif
 + lib/oz/doc/tutorial/latex29.gif
 + lib/oz/doc/tutorial/latex3.gif
 + lib/oz/doc/tutorial/latex4.gif
 + lib/oz/doc/tutorial/latex5.gif
 + lib/oz/doc/tutorial/latex6.gif
 + lib/oz/doc/tutorial/latex7.gif
 + lib/oz/doc/tutorial/latex8.gif
 + lib/oz/doc/tutorial/latex9.gif
 + lib/oz/doc/tutorial/node1.html
 + lib/oz/doc/tutorial/node10.html
 + lib/oz/doc/tutorial/node11.html
 + lib/oz/doc/tutorial/node12.html
 + lib/oz/doc/tutorial/node2.html
 + lib/oz/doc/tutorial/node3.html
 + lib/oz/doc/tutorial/node4.html
 + lib/oz/doc/tutorial/node5.html
 + lib/oz/doc/tutorial/node6.html
 + lib/oz/doc/tutorial/node7.html
 + lib/oz/doc/tutorial/node8.html
 + lib/oz/doc/tutorial/node9.html
 + lib/oz/doc/tutorial/opi1.gif
 + lib/oz/doc/tutorial/opi10.gif
 + lib/oz/doc/tutorial/opi2.gif
 + lib/oz/doc/tutorial/opi3.gif
 + lib/oz/doc/tutorial/opi4.gif
 + lib/oz/doc/tutorial/opi5.gif
 + lib/oz/doc/tutorial/opi6.gif
 + lib/oz/doc/tutorial/opi7.gif
 + lib/oz/doc/tutorial/opi8.gif
 + lib/oz/doc/tutorial/opi9.gif
 + lib/oz/doc/tutorial/ozdoc.css
 + lib/oz/doc/tutorial/page.gif
 + lib/oz/doc/tutorial/thread.gif
 + lib/oz/doc/tutorial/tutorial.gif
 + lib/oz/doc/index.html
 + lib/oz/doc/overview.html
 + lib/oz/doc/getstarted.html
 + lib/oz/doc/tutorials.html
 + lib/oz/doc/ozdoc.css
 + lib/oz/doc/reference.html
 + lib/oz/doc/contrib.html
 + lib/oz/doc/page.gif
 + lib/oz/doc/panel/danger.gif
 + lib/oz/doc/panel/idx.html
 + lib/oz/doc/panel/index.html
 + lib/oz/doc/panel/latex1.gif
 + lib/oz/doc/panel/latex2.gif
 + lib/oz/doc/panel/memory-heap.gif
 + lib/oz/doc/panel/node1.html
 + lib/oz/doc/panel/node2.html
 + lib/oz/doc/panel/node3.html
 + lib/oz/doc/panel/node4.html
 + lib/oz/doc/panel/node5.html
 + lib/oz/doc/panel/node6.html
 + lib/oz/doc/panel/node7.html
 + lib/oz/doc/panel/ozdoc.css
 + lib/oz/doc/panel/page.gif
 + lib/oz/doc/panel/runtime-dist.gif
 + lib/oz/doc/panel/runtime-load.gif
 + lib/oz/doc/panel/threads-runnable.gif
 + lib/oz/doc/panel/toc.html
 + lib/oz/doc/explorer/arrow-r.gif
 + lib/oz/doc/explorer/b-blocked.ps.gif
 + lib/oz/doc/explorer/b-closed.ps.gif
 + lib/oz/doc/explorer/b-entailed.ps.gif
 + lib/oz/doc/explorer/b-failed.ps.gif
 + lib/oz/doc/explorer/b-open.ps.gif
 + lib/oz/doc/explorer/b-suspended.ps.gif
 + lib/oz/doc/explorer/bib.html
 + lib/oz/doc/explorer/c-blocked.ps.gif
 + lib/oz/doc/explorer/c-closed.ps.gif
 + lib/oz/doc/explorer/c-entailed.ps.gif
 + lib/oz/doc/explorer/c-failed.ps.gif
 + lib/oz/doc/explorer/c-h-failed.ps.gif
 + lib/oz/doc/explorer/c-h-part-failed.ps.gif
 + lib/oz/doc/explorer/c-h-part-solved.ps.gif
 + lib/oz/doc/explorer/c-h-solved.ps.gif
 + lib/oz/doc/explorer/c-open.ps.gif
 + lib/oz/doc/explorer/c-suspended.ps.gif
 + lib/oz/doc/explorer/danger.gif
 + lib/oz/doc/explorer/draw.gif
 + lib/oz/doc/explorer/explain.gif
 + lib/oz/doc/explorer/hide-1.gif
 + lib/oz/doc/explorer/hide-2.gif
 + lib/oz/doc/explorer/hide-3.gif
 + lib/oz/doc/explorer/hide-4.gif
 + lib/oz/doc/explorer/hide-5.gif
 + lib/oz/doc/explorer/idx.html
 + lib/oz/doc/explorer/index.html
 + lib/oz/doc/explorer/latex1.gif
 + lib/oz/doc/explorer/latex2.gif
 + lib/oz/doc/explorer/latex3.gif
 + lib/oz/doc/explorer/latex4.gif
 + lib/oz/doc/explorer/latex5.gif
 + lib/oz/doc/explorer/node1.html
 + lib/oz/doc/explorer/node2.html
 + lib/oz/doc/explorer/node3.html
 + lib/oz/doc/explorer/node4.html
 + lib/oz/doc/explorer/node5.html
 + lib/oz/doc/explorer/node6.html
 + lib/oz/doc/explorer/node7.html
 + lib/oz/doc/explorer/node8.html
 + lib/oz/doc/explorer/note-gui-l1.gif
 + lib/oz/doc/explorer/note-gui-l2.gif
 + lib/oz/doc/explorer/note-gui-m1.gif
 + lib/oz/doc/explorer/page.gif
 + lib/oz/doc/explorer/note-gui-m2.gif
 + lib/oz/doc/explorer/note-gui-r1.gif
 + lib/oz/doc/explorer/note-gui-r2.gif
 + lib/oz/doc/explorer/ozdoc.css
 + lib/oz/doc/explorer/post.gif
 + lib/oz/doc/explorer/search.gif
 + lib/oz/doc/explorer/stat-ex.gif
 + lib/oz/doc/explorer/toc.html
 + lib/oz/doc/browser/danger.gif
 + lib/oz/doc/browser/emb_nicebrowser.gif
 + lib/oz/doc/browser/idx.html
 + lib/oz/doc/browser/index.html
 + lib/oz/doc/browser/latex1.gif
 + lib/oz/doc/browser/latex10.gif
 + lib/oz/doc/browser/latex11.gif
 + lib/oz/doc/browser/latex12.gif
 + lib/oz/doc/browser/latex13.gif
 + lib/oz/doc/browser/latex14.gif
 + lib/oz/doc/browser/latex15.gif
 + lib/oz/doc/browser/latex16.gif
 + lib/oz/doc/browser/latex17.gif
 + lib/oz/doc/browser/latex18.gif
 + lib/oz/doc/browser/latex19.gif
 + lib/oz/doc/browser/latex2.gif
 + lib/oz/doc/browser/latex20.gif
 + lib/oz/doc/browser/latex21.gif
 + lib/oz/doc/browser/latex22.gif
 + lib/oz/doc/browser/latex23.gif
 + lib/oz/doc/browser/latex24.gif
 + lib/oz/doc/browser/latex25.gif
 + lib/oz/doc/browser/latex26.gif
 + lib/oz/doc/browser/latex27.gif
 + lib/oz/doc/browser/latex28.gif
 + lib/oz/doc/browser/latex29.gif
 + lib/oz/doc/browser/latex3.gif
 + lib/oz/doc/browser/latex30.gif
 + lib/oz/doc/browser/latex31.gif
 + lib/oz/doc/browser/latex32.gif
 + lib/oz/doc/browser/latex33.gif
 + lib/oz/doc/browser/latex34.gif
 + lib/oz/doc/browser/latex35.gif
 + lib/oz/doc/browser/latex36.gif
 + lib/oz/doc/browser/latex37.gif
 + lib/oz/doc/browser/latex38.gif
 + lib/oz/doc/browser/latex39.gif
 + lib/oz/doc/browser/latex4.gif
 + lib/oz/doc/browser/latex5.gif
 + lib/oz/doc/browser/latex6.gif
 + lib/oz/doc/browser/latex7.gif
 + lib/oz/doc/browser/latex8.gif
 + lib/oz/doc/browser/latex9.gif
 + lib/oz/doc/browser/nicebrowser.gif
 + lib/oz/doc/browser/node1.html
 + lib/oz/doc/browser/node2.html
 + lib/oz/doc/browser/node3.html
 + lib/oz/doc/browser/node4.html
 + lib/oz/doc/browser/node5.html
 + lib/oz/doc/browser/note-gui-l1.gif
 + lib/oz/doc/browser/note-gui-l2.gif
 + lib/oz/doc/browser/note-gui-m1.gif
 + lib/oz/doc/browser/note-gui-m2.gif
 + lib/oz/doc/browser/note-gui-r1.gif
 + lib/oz/doc/browser/note-gui-r2.gif
 + lib/oz/doc/browser/ozdoc.css
 + lib/oz/doc/browser/page.gif
 + lib/oz/doc/browser/toc.html
 + lib/oz/doc/notation/bib.html
 + lib/oz/doc/notation/index.html
 + lib/oz/doc/notation/latex1.gif
 + lib/oz/doc/notation/latex10.gif
 + lib/oz/doc/notation/latex11.gif
 + lib/oz/doc/notation/latex12.gif
 + lib/oz/doc/notation/latex13.gif
 + lib/oz/doc/notation/latex14.gif
 + lib/oz/doc/notation/latex15.gif
 + lib/oz/doc/notation/latex16.gif
 + lib/oz/doc/notation/latex17.gif
 + lib/oz/doc/notation/latex18.gif
 + lib/oz/doc/notation/latex2.gif
 + lib/oz/doc/notation/latex3.gif
 + lib/oz/doc/notation/latex4.gif
 + lib/oz/doc/notation/latex5.gif
 + lib/oz/doc/notation/latex6.gif
 + lib/oz/doc/notation/latex7.gif
 + lib/oz/doc/notation/latex8.gif
 + lib/oz/doc/notation/latex9.gif
 + lib/oz/doc/notation/node1.html
 + lib/oz/doc/notation/node2.html
 + lib/oz/doc/notation/node3.html
 + lib/oz/doc/notation/node4.html
 + lib/oz/doc/notation/node5.html
 + lib/oz/doc/notation/node6.html
 + lib/oz/doc/notation/node7.html
 + lib/oz/doc/notation/node8.html
 + lib/oz/doc/notation/node9.html
 + lib/oz/doc/notation/notation.gif
 + lib/oz/doc/notation/ozdoc.css
 + lib/oz/doc/notation/page.gif
 + lib/oz/doc/notation/toc.html
 + lib/oz/doc/dstutorial/bib.html
 + lib/oz/doc/dstutorial/index.html
 + lib/oz/doc/dstutorial/node1.html
 + lib/oz/doc/dstutorial/node2.html
 + lib/oz/doc/dstutorial/node3.html
 + lib/oz/doc/dstutorial/node4.html
 + lib/oz/doc/dstutorial/node5.html
 + lib/oz/doc/dstutorial/node6.html
 + lib/oz/doc/dstutorial/node7.html
 + lib/oz/doc/dstutorial/ozdoc.css
 + lib/oz/doc/dstutorial/page.gif
 + lib/oz/doc/dstutorial/tutorial.gif
 + lib/oz/doc/changes/index.html
 + lib/oz/doc/changes/node1.html
 + lib/oz/doc/changes/node10.html
 + lib/oz/doc/changes/node2.html
 + lib/oz/doc/changes/node3.html
 + lib/oz/doc/changes/node4.html
 + lib/oz/doc/changes/node5.html
 + lib/oz/doc/changes/node6.html
 + lib/oz/doc/changes/node7.html
 + lib/oz/doc/changes/node8.html
 + lib/oz/doc/changes/node9.html
 + lib/oz/doc/changes/ozdoc.css
 + lib/oz/doc/changes/page.gif
 + lib/oz/doc/tcltk/Keywords/A.htm
 + lib/oz/doc/tcltk/Keywords/B.htm
 + lib/oz/doc/tcltk/Keywords/C.htm
 + lib/oz/doc/tcltk/Keywords/D.htm
 + lib/oz/doc/tcltk/Keywords/E.htm
 + lib/oz/doc/tcltk/Keywords/F.htm
 + lib/oz/doc/tcltk/Keywords/G.htm
 + lib/oz/doc/tcltk/Keywords/H.htm
 + lib/oz/doc/tcltk/Keywords/I.htm
 + lib/oz/doc/tcltk/Keywords/J.htm
 + lib/oz/doc/tcltk/Keywords/K.htm
 + lib/oz/doc/tcltk/Keywords/L.htm
 + lib/oz/doc/tcltk/Keywords/M.htm
 + lib/oz/doc/tcltk/Keywords/N.htm
 + lib/oz/doc/tcltk/Keywords/O.htm
 + lib/oz/doc/tcltk/Keywords/P.htm
 + lib/oz/doc/tcltk/Keywords/Q.htm
 + lib/oz/doc/tcltk/Keywords/R.htm
 + lib/oz/doc/tcltk/Keywords/S.htm
 + lib/oz/doc/tcltk/Keywords/T.htm
 + lib/oz/doc/tcltk/Keywords/U.htm
 + lib/oz/doc/tcltk/Keywords/V.htm
 + lib/oz/doc/tcltk/Keywords/W.htm
 + lib/oz/doc/tcltk/Keywords/X.htm
 + lib/oz/doc/tcltk/Keywords/Y.htm
 + lib/oz/doc/tcltk/Keywords/Z.htm
 + lib/oz/doc/tcltk/Keywords/contents.htm
 + lib/oz/doc/tcltk/TclCmd/Tcl.htm
 + lib/oz/doc/tcltk/TclCmd/after.htm
 + lib/oz/doc/tcltk/TclCmd/append.htm
 + lib/oz/doc/tcltk/TclCmd/array.htm
 + lib/oz/doc/tcltk/TclCmd/bgerror.htm
 + lib/oz/doc/tcltk/TclCmd/binary.htm
 + lib/oz/doc/tcltk/TclCmd/break.htm
 + lib/oz/doc/tcltk/TclCmd/catch.htm
 + lib/oz/doc/tcltk/TclCmd/cd.htm
 + lib/oz/doc/tcltk/TclCmd/clock.htm
 + lib/oz/doc/tcltk/TclCmd/close.htm
 + lib/oz/doc/tcltk/TclCmd/concat.htm
 + lib/oz/doc/tcltk/TclCmd/contents.htm
 + lib/oz/doc/tcltk/TclCmd/continue.htm
 + lib/oz/doc/tcltk/TclCmd/eof.htm
 + lib/oz/doc/tcltk/TclCmd/error.htm
 + lib/oz/doc/tcltk/TclCmd/eval.htm
 + lib/oz/doc/tcltk/TclCmd/exec.htm
 + lib/oz/doc/tcltk/TclCmd/exit.htm
 + lib/oz/doc/tcltk/TclCmd/expr.htm
 + lib/oz/doc/tcltk/TclCmd/fblocked.htm
 + lib/oz/doc/tcltk/TclCmd/fconfigure.htm
 + lib/oz/doc/tcltk/TclCmd/fcopy.htm
 + lib/oz/doc/tcltk/TclCmd/file.htm
 + lib/oz/doc/tcltk/TclCmd/fileevent.htm
 + lib/oz/doc/tcltk/TclCmd/filename.htm
 + lib/oz/doc/tcltk/TclCmd/flush.htm
 + lib/oz/doc/tcltk/TclCmd/for.htm
 + lib/oz/doc/tcltk/TclCmd/foreach.htm
 + lib/oz/doc/tcltk/TclCmd/format.htm
 + lib/oz/doc/tcltk/TclCmd/gets.htm
 + lib/oz/doc/tcltk/TclCmd/glob.htm
 + lib/oz/doc/tcltk/TclCmd/global.htm
 + lib/oz/doc/tcltk/TclCmd/history.htm
 + lib/oz/doc/tcltk/TclCmd/http.htm
 + lib/oz/doc/tcltk/TclCmd/if.htm
 + lib/oz/doc/tcltk/TclCmd/incr.htm
 + lib/oz/doc/tcltk/TclCmd/info.htm
 + lib/oz/doc/tcltk/TclCmd/interp.htm
 + lib/oz/doc/tcltk/TclCmd/join.htm
 + lib/oz/doc/tcltk/TclCmd/lappend.htm
 + lib/oz/doc/tcltk/TclCmd/library.htm
 + lib/oz/doc/tcltk/TclCmd/lindex.htm
 + lib/oz/doc/tcltk/TclCmd/linsert.htm
 + lib/oz/doc/tcltk/TclCmd/list.htm
 + lib/oz/doc/tcltk/TclCmd/llength.htm
 + lib/oz/doc/tcltk/TclCmd/load.htm
 + lib/oz/doc/tcltk/TclCmd/lrange.htm
 + lib/oz/doc/tcltk/TclCmd/lreplace.htm
 + lib/oz/doc/tcltk/TclCmd/lsearch.htm
 + lib/oz/doc/tcltk/TclCmd/lsort.htm
 + lib/oz/doc/tcltk/TclCmd/namespace.htm
 + lib/oz/doc/tcltk/TclCmd/open.htm
 + lib/oz/doc/tcltk/TclCmd/package.htm
 + lib/oz/doc/tcltk/TclCmd/pid.htm
 + lib/oz/doc/tcltk/TclCmd/pkgMkIndex.htm
 + lib/oz/doc/tcltk/TclCmd/proc.htm
 + lib/oz/doc/tcltk/TclCmd/puts.htm
 + lib/oz/doc/tcltk/TclCmd/pwd.htm
 + lib/oz/doc/tcltk/TclCmd/read.htm
 + lib/oz/doc/tcltk/TclCmd/regexp.htm
 + lib/oz/doc/tcltk/TclCmd/registry.htm
 + lib/oz/doc/tcltk/TclCmd/regsub.htm
 + lib/oz/doc/tcltk/TclCmd/rename.htm
 + lib/oz/doc/tcltk/TclCmd/resource.htm
 + lib/oz/doc/tcltk/TclCmd/return.htm
 + lib/oz/doc/tcltk/TclCmd/safe.htm
 + lib/oz/doc/tcltk/TclCmd/scan.htm
 + lib/oz/doc/tcltk/TclCmd/seek.htm
 + lib/oz/doc/tcltk/TclCmd/set.htm
 + lib/oz/doc/tcltk/TclCmd/socket.htm
 + lib/oz/doc/tcltk/TclCmd/source.htm
 + lib/oz/doc/tcltk/TclCmd/split.htm
 + lib/oz/doc/tcltk/TclCmd/string.htm
 + lib/oz/doc/tcltk/TclCmd/subst.htm
 + lib/oz/doc/tcltk/TclCmd/switch.htm
 + lib/oz/doc/tcltk/TclCmd/tclvars.htm
 + lib/oz/doc/tcltk/TclCmd/tell.htm
 + lib/oz/doc/tcltk/TclCmd/time.htm
 + lib/oz/doc/tcltk/TclCmd/trace.htm
 + lib/oz/doc/tcltk/TclCmd/unknown.htm
 + lib/oz/doc/tcltk/TclCmd/unset.htm
 + lib/oz/doc/tcltk/TclCmd/update.htm
 + lib/oz/doc/tcltk/TclCmd/uplevel.htm
 + lib/oz/doc/tcltk/TclCmd/upvar.htm
 + lib/oz/doc/tcltk/TclCmd/variable.htm
 + lib/oz/doc/tcltk/TclCmd/vwait.htm
 + lib/oz/doc/tcltk/TclCmd/while.htm
 + lib/oz/doc/tcltk/TclLib/AddErrInfo.htm
 + lib/oz/doc/tcltk/TclLib/Alloc.htm
 + lib/oz/doc/tcltk/TclLib/AllowExc.htm
 + lib/oz/doc/tcltk/TclLib/AppInit.htm
 + lib/oz/doc/tcltk/TclLib/AssocData.htm
 + lib/oz/doc/tcltk/TclLib/Async.htm
 + lib/oz/doc/tcltk/TclLib/BackgdErr.htm
 + lib/oz/doc/tcltk/TclLib/Backslash.htm
 + lib/oz/doc/tcltk/TclLib/BoolObj.htm
 + lib/oz/doc/tcltk/TclLib/CallDel.htm
 + lib/oz/doc/tcltk/TclLib/CmdCmplt.htm
 + lib/oz/doc/tcltk/TclLib/Concat.htm
 + lib/oz/doc/tcltk/TclLib/CrtChannel.htm
 + lib/oz/doc/tcltk/TclLib/CrtChnlHdlr.htm
 + lib/oz/doc/tcltk/TclLib/CrtCloseHdlr.htm
 + lib/oz/doc/tcltk/TclLib/CrtCommand.htm
 + lib/oz/doc/tcltk/TclLib/CrtFileHdlr.htm
 + lib/oz/doc/tcltk/TclLib/CrtInterp.htm
 + lib/oz/doc/tcltk/TclLib/CrtMathFnc.htm
 + lib/oz/doc/tcltk/TclLib/CrtObjCmd.htm
 + lib/oz/doc/tcltk/TclLib/CrtSlave.htm
 + lib/oz/doc/tcltk/TclLib/CrtTimerHdlr.htm
 + lib/oz/doc/tcltk/TclLib/CrtTrace.htm
 + lib/oz/doc/tcltk/TclLib/DString.htm
 + lib/oz/doc/tcltk/TclLib/DetachPids.htm
 + lib/oz/doc/tcltk/TclLib/DoOneEvent.htm
 + lib/oz/doc/tcltk/TclLib/DoWhenIdle.htm
 + lib/oz/doc/tcltk/TclLib/DoubleObj.htm
 + lib/oz/doc/tcltk/TclLib/Eval.htm
 + lib/oz/doc/tcltk/TclLib/EvalObj.htm
 + lib/oz/doc/tcltk/TclLib/Exit.htm
 + lib/oz/doc/tcltk/TclLib/ExprLong.htm
 + lib/oz/doc/tcltk/TclLib/ExprLongObj.htm
 + lib/oz/doc/tcltk/TclLib/FindExec.htm
 + lib/oz/doc/tcltk/TclLib/GetIndex.htm
 + lib/oz/doc/tcltk/TclLib/GetInt.htm
 + lib/oz/doc/tcltk/TclLib/GetOpnFl.htm
 + lib/oz/doc/tcltk/TclLib/GetStdChan.htm
 + lib/oz/doc/tcltk/TclLib/Hash.htm
 + lib/oz/doc/tcltk/TclLib/IntObj.htm
 + lib/oz/doc/tcltk/TclLib/Interp.htm
 + lib/oz/doc/tcltk/TclLib/LinkVar.htm
 + lib/oz/doc/tcltk/TclLib/ListObj.htm
 + lib/oz/doc/tcltk/TclLib/Object.htm
 + lib/oz/doc/tcltk/TclLib/Notifier.htm
 + lib/oz/doc/tcltk/TclLib/ObjSetVar.htm
 + lib/oz/doc/tcltk/TclLib/ObjectType.htm
 + lib/oz/doc/tcltk/TclLib/OpenFileChnl.htm
 + lib/oz/doc/tcltk/TclLib/OpenTcp.htm
 + lib/oz/doc/tcltk/TclLib/PkgRequire.htm
 + lib/oz/doc/tcltk/TclLib/Preserve.htm
 + lib/oz/doc/tcltk/TclLib/PrintDbl.htm
 + lib/oz/doc/tcltk/TclLib/RecEvalObj.htm
 + lib/oz/doc/tcltk/TclLib/RecordEval.htm
 + lib/oz/doc/tcltk/TclLib/RegExp.htm
 + lib/oz/doc/tcltk/TclLib/SetErrno.htm
 + lib/oz/doc/tcltk/TclLib/SetRecLmt.htm
 + lib/oz/doc/tcltk/TclLib/SetResult.htm
 + lib/oz/doc/tcltk/TclLib/SetVar.htm
 + lib/oz/doc/tcltk/TclLib/Sleep.htm
 + lib/oz/doc/tcltk/TclLib/SplitList.htm
 + lib/oz/doc/tcltk/TclLib/SplitPath.htm
 + lib/oz/doc/tcltk/TclLib/StaticPkg.htm
 + lib/oz/doc/tcltk/TclLib/StrMatch.htm
 + lib/oz/doc/tcltk/TclLib/StringObj.htm
 + lib/oz/doc/tcltk/TclLib/UpVar.htm
 + lib/oz/doc/tcltk/TclLib/Tcl_Main.htm
 + lib/oz/doc/tcltk/TclLib/TraceVar.htm
 + lib/oz/doc/tcltk/TclLib/Translate.htm
 + lib/oz/doc/tcltk/TclLib/WrongNumArgs.htm
 + lib/oz/doc/tcltk/TclLib/contents.htm
 + lib/oz/doc/tcltk/TkCmd/bell.htm
 + lib/oz/doc/tcltk/TkCmd/bind.htm
 + lib/oz/doc/tcltk/TkCmd/bindtags.htm
 + lib/oz/doc/tcltk/TkCmd/bitmap.htm
 + lib/oz/doc/tcltk/TkCmd/button.htm
 + lib/oz/doc/tcltk/TkCmd/canvas.htm
 + lib/oz/doc/tcltk/TkCmd/checkbutton.htm
 + lib/oz/doc/tcltk/TkCmd/chooseColor.htm
 + lib/oz/doc/tcltk/TkCmd/clipboard.htm
 + lib/oz/doc/tcltk/TkCmd/contents.htm
 + lib/oz/doc/tcltk/TkCmd/destroy.htm
 + lib/oz/doc/tcltk/TkCmd/dialog.htm
 + lib/oz/doc/tcltk/TkCmd/entry.htm
 + lib/oz/doc/tcltk/TkCmd/event.htm
 + lib/oz/doc/tcltk/TkCmd/focus.htm
 + lib/oz/doc/tcltk/TkCmd/focusNext.htm
 + lib/oz/doc/tcltk/TkCmd/font.htm
 + lib/oz/doc/tcltk/TkCmd/frame.htm
 + lib/oz/doc/tcltk/TkCmd/getOpenFile.htm
 + lib/oz/doc/tcltk/TkCmd/grab.htm
 + lib/oz/doc/tcltk/TkCmd/grid.htm
 + lib/oz/doc/tcltk/TkCmd/image.htm
 + lib/oz/doc/tcltk/TkCmd/label.htm
 + lib/oz/doc/tcltk/TkCmd/listbox.htm
 + lib/oz/doc/tcltk/TkCmd/loadTk.htm
 + lib/oz/doc/tcltk/TkCmd/lower.htm
 + lib/oz/doc/tcltk/TkCmd/menu.htm
 + lib/oz/doc/tcltk/TkCmd/menubutton.htm
 + lib/oz/doc/tcltk/TkCmd/message.htm
 + lib/oz/doc/tcltk/TkCmd/messageBox.htm
 + lib/oz/doc/tcltk/TkCmd/option.htm
 + lib/oz/doc/tcltk/TkCmd/optionMenu.htm
 + lib/oz/doc/tcltk/TkCmd/options.htm
 + lib/oz/doc/tcltk/TkCmd/pack.htm
 + lib/oz/doc/tcltk/TkCmd/palette.htm
 + lib/oz/doc/tcltk/TkCmd/photo.htm
 + lib/oz/doc/tcltk/TkCmd/place.htm
 + lib/oz/doc/tcltk/TkCmd/popup.htm
 + lib/oz/doc/tcltk/TkCmd/radiobutton.htm
 + lib/oz/doc/tcltk/TkCmd/raise.htm
 + lib/oz/doc/tcltk/TkCmd/scale.htm
 + lib/oz/doc/tcltk/TkCmd/scrollbar.htm
 + lib/oz/doc/tcltk/TkCmd/selection.htm
 + lib/oz/doc/tcltk/TkCmd/send.htm
 + lib/oz/doc/tcltk/TkCmd/text.htm
 + lib/oz/doc/tcltk/TkCmd/tk.htm
 + lib/oz/doc/tcltk/TkCmd/tkerror.htm
 + lib/oz/doc/tcltk/TkCmd/tkvars.htm
 + lib/oz/doc/tcltk/TkCmd/tkwait.htm
 + lib/oz/doc/tcltk/TkCmd/wm.htm
 + lib/oz/doc/tcltk/TkCmd/toplevel.htm
 + lib/oz/doc/tcltk/TkCmd/winfo.htm
 + lib/oz/doc/tcltk/TkLib/3DBorder.htm
 + lib/oz/doc/tcltk/TkLib/BindTable.htm
 + lib/oz/doc/tcltk/TkLib/CanvPsY.htm
 + lib/oz/doc/tcltk/TkLib/CanvTkwin.htm
 + lib/oz/doc/tcltk/TkLib/CanvTxtInfo.htm
 + lib/oz/doc/tcltk/TkLib/Clipboard.htm
 + lib/oz/doc/tcltk/TkLib/ClrSelect.htm
 + lib/oz/doc/tcltk/TkLib/ConfigWidg.htm
 + lib/oz/doc/tcltk/TkLib/ConfigWind.htm
 + lib/oz/doc/tcltk/TkLib/CoordToWin.htm
 + lib/oz/doc/tcltk/TkLib/CrtErrHdlr.htm
 + lib/oz/doc/tcltk/TkLib/CrtGenHdlr.htm
 + lib/oz/doc/tcltk/TkLib/CrtImgType.htm
 + lib/oz/doc/tcltk/TkLib/CrtItemType.htm
 + lib/oz/doc/tcltk/TkLib/CrtPhImgFmt.htm
 + lib/oz/doc/tcltk/TkLib/CrtSelHdlr.htm
 + lib/oz/doc/tcltk/TkLib/CrtWindow.htm
 + lib/oz/doc/tcltk/TkLib/DeleteImg.htm
 + lib/oz/doc/tcltk/TkLib/DrawFocHlt.htm
 + lib/oz/doc/tcltk/TkLib/EventHndlr.htm
 + lib/oz/doc/tcltk/TkLib/FindPhoto.htm
 + lib/oz/doc/tcltk/TkLib/FontId.htm
 + lib/oz/doc/tcltk/TkLib/FreeXId.htm
 + lib/oz/doc/tcltk/TkLib/GeomReq.htm
 + lib/oz/doc/tcltk/TkLib/GetAnchor.htm
 + lib/oz/doc/tcltk/TkLib/GetBitmap.htm
 + lib/oz/doc/tcltk/TkLib/GetCapStyl.htm
 + lib/oz/doc/tcltk/TkLib/GetClrmap.htm
 + lib/oz/doc/tcltk/TkLib/GetColor.htm
 + lib/oz/doc/tcltk/TkLib/GetCursor.htm
 + lib/oz/doc/tcltk/TkLib/GetFont.htm
 + lib/oz/doc/tcltk/TkLib/GetGC.htm
 + lib/oz/doc/tcltk/TkLib/GetImage.htm
 + lib/oz/doc/tcltk/TkLib/GetJoinStl.htm
 + lib/oz/doc/tcltk/TkLib/GetJustify.htm
 + lib/oz/doc/tcltk/TkLib/GetOption.htm
 + lib/oz/doc/tcltk/TkLib/GetPixels.htm
 + lib/oz/doc/tcltk/TkLib/GetPixmap.htm
 + lib/oz/doc/tcltk/TkLib/GetRelief.htm
 + lib/oz/doc/tcltk/TkLib/GetRootCrd.htm
 + lib/oz/doc/tcltk/TkLib/GetScroll.htm
 + lib/oz/doc/tcltk/TkLib/GetSelect.htm
 + lib/oz/doc/tcltk/TkLib/GetUid.htm
 + lib/oz/doc/tcltk/TkLib/GetVRoot.htm
 + lib/oz/doc/tcltk/TkLib/GetVisual.htm
 + lib/oz/doc/tcltk/TkLib/HandleEvent.htm
 + lib/oz/doc/tcltk/TkLib/IdToWindow.htm
 + lib/oz/doc/tcltk/TkLib/ImgChanged.htm
 + lib/oz/doc/tcltk/TkLib/InternAtom.htm
 + lib/oz/doc/tcltk/TkLib/MainLoop.htm
 + lib/oz/doc/tcltk/TkLib/MainWin.htm
 + lib/oz/doc/tcltk/TkLib/MaintGeom.htm
 + lib/oz/doc/tcltk/TkLib/ManageGeom.htm
 + lib/oz/doc/tcltk/TkLib/MapWindow.htm
 + lib/oz/doc/tcltk/TkLib/MeasureChar.htm
 + lib/oz/doc/tcltk/TkLib/MoveToplev.htm
 + lib/oz/doc/tcltk/TkLib/Name.htm
 + lib/oz/doc/tcltk/TkLib/NameOfImg.htm
 + lib/oz/doc/tcltk/TkLib/OwnSelect.htm
 + lib/oz/doc/tcltk/TkLib/ParseArgv.htm
 + lib/oz/doc/tcltk/TkLib/QWinEvent.htm
 + lib/oz/doc/tcltk/TkLib/Restack.htm
 + lib/oz/doc/tcltk/TkLib/RestrictEv.htm
 + lib/oz/doc/tcltk/TkLib/SetAppName.htm
 + lib/oz/doc/tcltk/TkLib/SetClass.htm
 + lib/oz/doc/tcltk/TkLib/SetGrid.htm
 + lib/oz/doc/tcltk/TkLib/SetVisual.htm
 + lib/oz/doc/tcltk/TkLib/StrictMotif.htm
 + lib/oz/doc/tcltk/TkLib/TextLayout.htm
 + lib/oz/doc/tcltk/TkLib/Tk_Init.htm
 + lib/oz/doc/tcltk/TkLib/Tk_Main.htm
 + lib/oz/doc/tcltk/TkLib/WindowId.htm
 + lib/oz/doc/tcltk/TkLib/contents.htm
 + lib/oz/doc/tcltk/UserCmd/contents.htm
 + lib/oz/doc/tcltk/UserCmd/tclsh.htm
 + lib/oz/doc/tcltk/UserCmd/wish.htm
 + lib/oz/doc/tcltk/contents.htm
 + lib/oz/doc/tcltk/copyright.htm
 + lib/oz/doc/howtoread/index.html
 + lib/oz/doc/howtoread/node1.html
 + lib/oz/doc/howtoread/ozdoc.css
 + lib/oz/doc/howtoread/page.gif
 + lib/oz/doc/faq/index.html
 + lib/oz/doc/faq/node1.html
 + lib/oz/doc/faq/node2.html
 + lib/oz/doc/faq/node3.html
 + lib/oz/doc/faq/ozdoc.css
 + lib/oz/doc/faq/page.gif
 + lib/oz/doc/limitations/index.html
 + lib/oz/doc/limitations/latex1.gif
 + lib/oz/doc/limitations/latex2.gif
 + lib/oz/doc/limitations/latex3.gif
 + lib/oz/doc/limitations/ozdoc.css
 + lib/oz/doc/limitations/page.gif
 + lib/oz/doc/macro/index.html
 + lib/oz/doc/macro/node1.html
 + lib/oz/doc/macro/node2.html
 + lib/oz/doc/macro/node3.html
 + lib/oz/doc/macro/node4.html
 + lib/oz/doc/macro/node5.html
 + lib/oz/doc/macro/node6.html
 + lib/oz/doc/macro/node7.html
 + lib/oz/doc/macro/node8.html
 + lib/oz/doc/macro/ozdoc.css
 + lib/oz/doc/macro/page.gif
 + lib/oz/doc/loop/index.html
 + lib/oz/doc/loop/node1.html
 + lib/oz/doc/loop/node2.html
 + lib/oz/doc/loop/ozdoc.css
 + lib/oz/doc/loop/page.gif
   lib/oz/examples/fd/bin-packing.oz
   lib/oz/examples/fd/bridge.oz
   lib/oz/examples/fd/cars.oz
 ***************
 *** 313,328 ****
   @dirrm lib/oz/contrib/tk
   @dirrm lib/oz/contrib/tools
   @dirrm lib/oz/contrib
 ! @dirrm lib/oz/doc/demo/applets/images/animated-queens
 ! @dirrm lib/oz/doc/demo/applets/images/college
   @dirrm lib/oz/doc/demo/applets/images/dict-client
 ! @dirrm lib/oz/doc/demo/applets/images/lift
 ! @dirrm lib/oz/doc/demo/applets/images/transport
   @dirrm lib/oz/doc/demo/applets/images/trucks
   @dirrm lib/oz/doc/demo/applets/images
   @dirrm lib/oz/doc/demo/applets
   @dirrm lib/oz/doc/demo
 - @dirrm lib/oz/doc/system
   @dirrm lib/oz/doc
   @dirrm lib/oz/examples/fd/graphics
   @dirrm lib/oz/examples/fd
 --- 2405,2465 ----
   @dirrm lib/oz/contrib/tk
   @dirrm lib/oz/contrib/tools
   @dirrm lib/oz/contrib
 ! @dirrm lib/oz/doc/loop
 ! @dirrm lib/oz/doc/macro
 ! @dirrm lib/oz/doc/limitations
 ! @dirrm lib/oz/doc/faq
 ! @dirrm lib/oz/doc/howtoread
 ! @dirrm lib/oz/doc/tcltk/UserCmd
 ! @dirrm lib/oz/doc/tcltk/TkLib
 ! @dirrm lib/oz/doc/tcltk/TkCmd
 ! @dirrm lib/oz/doc/tcltk/TclLib
 ! @dirrm lib/oz/doc/tcltk/TclCmd
 ! @dirrm lib/oz/doc/tcltk/Keywords
 ! @dirrm lib/oz/doc/tcltk
 ! @dirrm lib/oz/doc/changes
 ! @dirrm lib/oz/doc/dstutorial
 ! @dirrm lib/oz/doc/notation
 ! @dirrm lib/oz/doc/browser
 ! @dirrm lib/oz/doc/explorer
 ! @dirrm lib/oz/doc/panel
 ! @dirrm lib/oz/doc/tutorial
 ! @dirrm lib/oz/doc/install
 ! @dirrm lib/oz/doc/cpiref
 ! @dirrm lib/oz/doc/cpitut
 ! @dirrm lib/oz/doc/fst
 ! @dirrm lib/oz/doc/fdt
 ! @dirrm lib/oz/doc/wp
 ! @dirrm lib/oz/doc/tools
 ! @dirrm lib/oz/doc/ozdoc
 ! @dirrm lib/oz/doc/profiler
 ! @dirrm lib/oz/doc/ozcar
 ! @dirrm lib/oz/doc/opi
 ! @dirrm lib/oz/doc/op
 ! @dirrm lib/oz/doc/gump
 ! @dirrm lib/oz/doc/foreign
 ! @dirrm lib/oz/doc/contrib
 ! @dirrm lib/oz/doc/compiler
 ! @dirrm lib/oz/doc/bugs
 ! @dirrm lib/oz/doc/base
 ! @dirrm lib/oz/doc/apptut
 ! @dirrm lib/oz/doc/idx
 ! @dirrm lib/oz/doc/system
 ! @dirrm lib/oz/doc/demo/DictClient
 ! @dirrm lib/oz/doc/demo/Transport
 ! @dirrm lib/oz/doc/demo/Flowers
 ! @dirrm lib/oz/doc/demo/Cutting
 ! @dirrm lib/oz/doc/demo/College
 ! @dirrm lib/oz/doc/demo/JobShop
   @dirrm lib/oz/doc/demo/applets/images/dict-client
 ! @dirrm lib/oz/doc/demo/applets/images/college
   @dirrm lib/oz/doc/demo/applets/images/trucks
 + @dirrm lib/oz/doc/demo/applets/images/transport
 + @dirrm lib/oz/doc/demo/applets/images/lift
 + @dirrm lib/oz/doc/demo/applets/images/animated-queens
   @dirrm lib/oz/doc/demo/applets/images
   @dirrm lib/oz/doc/demo/applets
   @dirrm lib/oz/doc/demo
   @dirrm lib/oz/doc
   @dirrm lib/oz/examples/fd/graphics
   @dirrm lib/oz/examples/fd
 diff -rcN mozart/pkg/PLIST.nodocs mozart.1/pkg/PLIST_nodocs
 *** mozart/pkg/PLIST.nodocs	Thu Jan  1 01:00:00 1970
 --- mozart.1/pkg/PLIST.nodocs	Sun Jul 16 21:16:07 2000
 ***************
 *** 0 ****
 --- 1,347 ----
 + bin/convertTextPickle
 + bin/oldpickle2text
 + bin/oz
 + bin/ozc
 + bin/ozd
 + bin/ozengine
 + bin/ozl
 + bin/ozplatform
 + bin/oztool
 + bin/pickle2text
 + bin/text2pickle
 + lib/oz/LICENSE
 + lib/oz/LICENSE.html
 + lib/oz/LICENSE.rtf
 + lib/oz/README
 + lib/oz/bin/convertTextPickle
 + lib/oz/bin/oldpickle2text
 + lib/oz/bin/oz
 + lib/oz/bin/ozc
 + lib/oz/bin/ozd
 + lib/oz/bin/ozengine
 + lib/oz/bin/ozl
 + lib/oz/bin/ozplatform
 + lib/oz/bin/oztool
 + lib/oz/bin/pickle2text
 + lib/oz/bin/text2pickle
 + lib/oz/contrib/ap/OptionSheet.ozf
 + lib/oz/contrib/compat/TextPickle.ozf
 + lib/oz/contrib/compat/TextPickleScanner.so-freebsdelf-i486
 + lib/oz/contrib/directory/ExampleDirectory.oz
 + lib/oz/contrib/directory/ExampleDirectory.ozf
 + lib/oz/contrib/doc/code/Fontifier.ozf
 + lib/oz/contrib/doc/sgml/Parser.ozf
 + lib/oz/contrib/gdbm.ozf
 + lib/oz/contrib/gdbm.so-freebsdelf-i486
 + lib/oz/contrib/micq/client.oza
 + lib/oz/contrib/micq/server.oza
 + lib/oz/contrib/os/io.ozf
 + lib/oz/contrib/os/io.so-freebsdelf-i486
 + lib/oz/contrib/os/mode.ozf
 + lib/oz/contrib/os/open.ozf
 + lib/oz/contrib/os/process.ozf
 + lib/oz/contrib/os/process.so-freebsdelf-i486
 + lib/oz/contrib/regex.ozf
 + lib/oz/contrib/regex.so-freebsdelf-i486
 + lib/oz/contrib/tk/CheckBox.ozf
 + lib/oz/contrib/tk/ScrollFrame.ozf
 + lib/oz/contrib/tools/DistPanel.ozf
 + lib/oz/doc/demo/applets/AnimatedQueens.oza
 + lib/oz/doc/demo/applets/Board.oza
 + lib/oz/doc/demo/applets/Bounce.oza
 + lib/oz/doc/demo/applets/ChatClient.oza
 + lib/oz/doc/demo/applets/ChatServer.oza
 + lib/oz/doc/demo/applets/College.oza
 + lib/oz/doc/demo/applets/Cutting.oza
 + lib/oz/doc/demo/applets/DictClient.oza
 + lib/oz/doc/demo/applets/Flowers.oza
 + lib/oz/doc/demo/applets/Flowers3d.oza
 + lib/oz/doc/demo/applets/JobShop.oza
 + lib/oz/doc/demo/applets/Lift.oza
 + lib/oz/doc/demo/applets/MIM.oza
 + lib/oz/doc/demo/applets/Transport.oza
 + lib/oz/doc/demo/applets/Trucks.oza
 + lib/oz/doc/demo/applets/images/animated-queens/large-cross.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/large-gray.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/large-queen.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/large-solid.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/micro-gray.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/micro-queen.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/micro-solid.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/middle-cross.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/middle-gray.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/middle-queen.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/middle-solid.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/small-gray.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/small-queen.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/small-solid.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/tiny-gray.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/tiny-queen.xbm
 + lib/oz/doc/demo/applets/images/animated-queens/tiny-solid.xbm
 + lib/oz/doc/demo/applets/images/college/title.xbm
 + lib/oz/doc/demo/applets/images/dict-client/dict.gif
 + lib/oz/doc/demo/applets/images/lift/downE.xbm
 + lib/oz/doc/demo/applets/images/lift/downF.xbm
 + lib/oz/doc/demo/applets/images/lift/lift.xbm
 + lib/oz/doc/demo/applets/images/lift/liftDown.xbm
 + lib/oz/doc/demo/applets/images/lift/liftUp.xbm
 + lib/oz/doc/demo/applets/images/lift/upE.xbm
 + lib/oz/doc/demo/applets/images/lift/upF.xbm
 + lib/oz/doc/demo/applets/images/transport/down.xbm
 + lib/oz/doc/demo/applets/images/transport/truck_fill_left.xbm
 + lib/oz/doc/demo/applets/images/transport/truck_fill_right.xbm
 + lib/oz/doc/demo/applets/images/transport/truck_frame_left.xbm
 + lib/oz/doc/demo/applets/images/transport/truck_frame_right.xbm
 + lib/oz/doc/demo/applets/images/transport/truck_win_left.xbm
 + lib/oz/doc/demo/applets/images/transport/truck_win_right.xbm
 + lib/oz/doc/demo/applets/images/trucks/truck-left.ppm
 + lib/oz/doc/demo/applets/images/trucks/truck-right.ppm
 + lib/oz/doc/system/MT10.oz
 + lib/oz/doc/system/MT10.ozf
 + lib/oz/examples/fd/bin-packing.oz
 + lib/oz/examples/fd/bridge.oz
 + lib/oz/examples/fd/cars.oz
 + lib/oz/examples/fd/change.oz
 + lib/oz/examples/fd/conference.oz
 + lib/oz/examples/fd/configuration.oz
 + lib/oz/examples/fd/donald.oz
 + lib/oz/examples/fd/family.oz
 + lib/oz/examples/fd/fraction.oz
 + lib/oz/examples/fd/graphics/Knights.oz
 + lib/oz/examples/fd/graphics/Knights.ozf
 + lib/oz/examples/fd/graphics/Queens.oz
 + lib/oz/examples/fd/graphics/Queens.ozf
 + lib/oz/examples/fd/grocery.oz
 + lib/oz/examples/fd/kalotan.oz
 + lib/oz/examples/fd/knights.oz
 + lib/oz/examples/fd/magic-sequence.oz
 + lib/oz/examples/fd/magic-square.oz
 + lib/oz/examples/fd/map-coloring.oz
 + lib/oz/examples/fd/money.oz
 + lib/oz/examples/fd/multiply.oz
 + lib/oz/examples/fd/photo.oz
 + lib/oz/examples/fd/pythagoras.oz
 + lib/oz/examples/fd/queens.oz
 + lib/oz/examples/fd/safe.oz
 + lib/oz/examples/fd/srat.oz
 + lib/oz/examples/fd/warehouses.oz
 + lib/oz/examples/fd/zebra.oz
 + lib/oz/examples/grammar/hpsg.oz
 + lib/oz/examples/grammar/shieber.oz
 + lib/oz/examples/grammar/shieber/formalism.oz
 + lib/oz/examples/grammar/shieber/grammar.oz
 + lib/oz/examples/sampler/constraints/abz6.oz
 + lib/oz/examples/sampler/constraints/animate-bridge.oz
 + lib/oz/examples/sampler/constraints/bridge.oz
 + lib/oz/examples/sampler/constraints/draw-photo.oz
 + lib/oz/examples/sampler/constraints/scheduling-compiler.oz
 + lib/oz/examples/sampler/oz.oz
 + lib/oz/include/FlexLexer.h
 + lib/oz/include/extension.hh
 + lib/oz/include/lexer.h
 + lib/oz/include/mozart.h
 + lib/oz/include/mozart_cpi.hh
 + lib/oz/platform/freebsdelf-i486/Bison.so
 + lib/oz/platform/freebsdelf-i486/Browser.so
 + lib/oz/platform/freebsdelf-i486/CTB.so
 + lib/oz/platform/freebsdelf-i486/Compat.so
 + lib/oz/platform/freebsdelf-i486/CompilerSupport.so
 + lib/oz/platform/freebsdelf-i486/DPB.so
 + lib/oz/platform/freebsdelf-i486/DPMisc.so
 + lib/oz/platform/freebsdelf-i486/DPPane.so
 + lib/oz/platform/freebsdelf-i486/Debug.so
 + lib/oz/platform/freebsdelf-i486/FDB.so
 + lib/oz/platform/freebsdelf-i486/FDP.so
 + lib/oz/platform/freebsdelf-i486/FSB.so
 + lib/oz/platform/freebsdelf-i486/FSP.so
 + lib/oz/platform/freebsdelf-i486/Fault.so
 + lib/oz/platform/freebsdelf-i486/GumpScanner.so
 + lib/oz/platform/freebsdelf-i486/OsTime.so
 + lib/oz/platform/freebsdelf-i486/PID.so
 + lib/oz/platform/freebsdelf-i486/Parser.so
 + lib/oz/platform/freebsdelf-i486/Profile.so
 + lib/oz/platform/freebsdelf-i486/RecordC.so
 + lib/oz/platform/freebsdelf-i486/Schedule.so
 + lib/oz/platform/freebsdelf-i486/Space.so
 + lib/oz/platform/freebsdelf-i486/System.so
 + lib/oz/platform/freebsdelf-i486/Tk.so
 + lib/oz/platform/freebsdelf-i486/VirtualSite.so
 + lib/oz/platform/freebsdelf-i486/Win32.so
 + lib/oz/platform/freebsdelf-i486/emulator.exe
 + lib/oz/platform/freebsdelf-i486/flex.exe
 + lib/oz/platform/freebsdelf-i486/oztool.sh
 + lib/oz/platform/freebsdelf-i486/text2pickle.exe
 + lib/oz/platform/freebsdelf-i486/tk.exe
 + lib/oz/platform/freebsdelf-i486/wish/tcl/history.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tcl/init.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tcl/ldAix
 + lib/oz/platform/freebsdelf-i486/wish/tcl/ldAout.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tcl/parray.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tcl/safe.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tcl/tclAppInit.c
 + lib/oz/platform/freebsdelf-i486/wish/tcl/tclConfig.sh
 + lib/oz/platform/freebsdelf-i486/wish/tcl/tclIndex
 + lib/oz/platform/freebsdelf-i486/wish/tcl/word.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/bgerror.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/button.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/clrpick.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/comdlg.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/console.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/dialog.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/entry.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/focus.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/listbox.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/menu.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/msgbox.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/obsolete.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/optMenu.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/palette.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/prolog.ps
 + lib/oz/platform/freebsdelf-i486/wish/tk/safetk.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/scale.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/scrlbar.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/tclIndex
 + lib/oz/platform/freebsdelf-i486/wish/tk/tearoff.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/text.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/tk.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/tkAppInit.c
 + lib/oz/platform/freebsdelf-i486/wish/tk/tkConfig.sh
 + lib/oz/platform/freebsdelf-i486/wish/tk/tkfbox.tcl
 + lib/oz/platform/freebsdelf-i486/wish/tk/xmfbox.tcl
 + lib/oz/share/Application.ozf
 + lib/oz/share/BackquoteMacro.ozf
 + lib/oz/share/Bison.so-freebsdelf-i486
 + lib/oz/share/Browser.ozf
 + lib/oz/share/Combinator.ozf
 + lib/oz/share/Compiler.ozf
 + lib/oz/share/CompilerPanel.ozf
 + lib/oz/share/Connection.ozf
 + lib/oz/share/DPMisc.ozf
 + lib/oz/share/DefaultURL.ozf
 + lib/oz/share/Discovery.ozf
 + lib/oz/share/Emacs.ozf
 + lib/oz/share/Error.ozf
 + lib/oz/share/ErrorFormatters.ozf
 + lib/oz/share/ErrorListener.ozf
 + lib/oz/share/EvalDialog.ozf
 + lib/oz/share/Explorer.ozf
 + lib/oz/share/FD.ozf
 + lib/oz/share/FS.ozf
 + lib/oz/share/Fault.ozf
 + lib/oz/share/Finalize.ozf
 + lib/oz/share/Gump.ozf
 + lib/oz/share/GumpParser.ozf
 + lib/oz/share/GumpScanner.ozf
 + lib/oz/share/GumpScanner.so-freebsdelf-i486
 + lib/oz/share/Init.ozf
 + lib/oz/share/Inspector.ozf
 + lib/oz/share/Listener.ozf
 + lib/oz/share/LoopMacro.ozf
 + lib/oz/share/Macro.ozf
 + lib/oz/share/Narrator.ozf
 + lib/oz/share/OPI.ozf
 + lib/oz/share/OPIEnv.ozf
 + lib/oz/share/ObjectSupport.ozf
 + lib/oz/share/Open.ozf
 + lib/oz/share/Ozcar.ozf
 + lib/oz/share/Panel.ozf
 + lib/oz/share/ParLogging.ozf
 + lib/oz/share/ParSearch.ozf
 + lib/oz/share/ParWorker.ozf
 + lib/oz/share/ProductionTemplates.ozf
 + lib/oz/share/Profiler.ozf
 + lib/oz/share/RecordC.ozf
 + lib/oz/share/Remote.ozf
 + lib/oz/share/RemoteServer.ozf
 + lib/oz/share/Schedule.ozf
 + lib/oz/share/Search.ozf
 + lib/oz/share/Service.ozf
 + lib/oz/share/Tk.ozf
 + lib/oz/share/TkTools.ozf
 + lib/oz/share/Type.ozf
 + lib/oz/share/URL.ozf
 + lib/oz/share/elisp/Fontifier.elc
 + lib/oz/share/elisp/mozart.el
 + lib/oz/share/elisp/mozart.elc
 + lib/oz/share/elisp/oz-extra.el
 + lib/oz/share/elisp/oz-extra.elc
 + lib/oz/share/elisp/oz.el
 + lib/oz/share/elisp/oz.elc
 + lib/oz/share/gump/examples/Examples.oz
 + lib/oz/share/gump/examples/Lambda.in
 + lib/oz/share/gump/examples/LambdaParser.ozg
 + lib/oz/share/gump/examples/LambdaScanner.ozg
 + lib/oz/share/gump/examples/OzFrontend.oz
 + lib/oz/share/gump/examples/OzParser.ozg
 + lib/oz/share/gump/examples/OzScanner.ozg
 + lib/oz/share/images/browserIcon.xbm
 + lib/oz/share/images/browserMIcon.xbm
 + lib/oz/share/images/compiler.xbm
 + lib/oz/share/images/compilermask.xbm
 + lib/oz/share/images/grid-25.xbm
 + lib/oz/share/images/grid-50.xbm
 + lib/oz/share/images/inspector/depth.xbm
 + lib/oz/share/images/inspector/sep.xbm
 + lib/oz/share/images/inspector/stop.xbm
 + lib/oz/share/images/inspector/width.xbm
 + lib/oz/share/images/lines-lr.xbm
 + lib/oz/share/images/lines-rl.xbm
 + lib/oz/share/images/mini-dec.xbm
 + lib/oz/share/images/mini-inc.xbm
 + lib/oz/share/images/ozcar/detach.xbm
 + lib/oz/share/images/ozcar/next.xbm
 + lib/oz/share/images/ozcar/step.xbm
 + lib/oz/share/images/ozcar/stop.xbm
 + lib/oz/share/images/ozcar/term.xbm
 + lib/oz/share/images/ozcar/unleash.xbm
 + lib/oz/share/images/stop.xbm
 + @exec mkdir -p %D/lib/oz/cache/http/www.mozart-oz.org
 + @exec ln -s ../../.. %D/lib/oz/cache/http/www.mozart-oz.org/home-1.1.0
 + @unexec rm %D/lib/oz/cache/http/www.mozart-oz.org/home-1.1.0
 + @dirrm lib/oz/bin
 + @dirrm lib/oz/cache/http/www.mozart-oz.org
 + @dirrm lib/oz/cache/http
 + @dirrm lib/oz/cache
 + @dirrm lib/oz/contrib/ap
 + @dirrm lib/oz/contrib/compat
 + @dirrm lib/oz/contrib/directory
 + @dirrm lib/oz/contrib/doc/code
 + @dirrm lib/oz/contrib/doc/sgml
 + @dirrm lib/oz/contrib/doc
 + @dirrm lib/oz/contrib/micq
 + @dirrm lib/oz/contrib/os
 + @dirrm lib/oz/contrib/tk
 + @dirrm lib/oz/contrib/tools
 + @dirrm lib/oz/contrib
 + @dirrm lib/oz/doc/demo/applets/images/animated-queens
 + @dirrm lib/oz/doc/demo/applets/images/college
 + @dirrm lib/oz/doc/demo/applets/images/dict-client
 + @dirrm lib/oz/doc/demo/applets/images/lift
 + @dirrm lib/oz/doc/demo/applets/images/transport
 + @dirrm lib/oz/doc/demo/applets/images/trucks
 + @dirrm lib/oz/doc/demo/applets/images
 + @dirrm lib/oz/doc/demo/applets
 + @dirrm lib/oz/doc/demo
 + @dirrm lib/oz/doc/system
 + @dirrm lib/oz/doc
 + @dirrm lib/oz/examples/fd/graphics
 + @dirrm lib/oz/examples/fd
 + @dirrm lib/oz/examples/grammar/shieber
 + @dirrm lib/oz/examples/grammar
 + @dirrm lib/oz/examples/sampler/constraints
 + @dirrm lib/oz/examples/sampler
 + @dirrm lib/oz/examples
 + @dirrm lib/oz/include
 + @dirrm lib/oz/platform/freebsdelf-i486/wish/tcl
 + @dirrm lib/oz/platform/freebsdelf-i486/wish/tk
 + @dirrm lib/oz/platform/freebsdelf-i486/wish
 + @dirrm lib/oz/platform/freebsdelf-i486
 + @dirrm lib/oz/platform
 + @dirrm lib/oz/share/elisp
 + @dirrm lib/oz/share/gump/examples
 + @dirrm lib/oz/share/gump
 + @dirrm lib/oz/share/images/inspector
 + @dirrm lib/oz/share/images/ozcar
 + @dirrm lib/oz/share/images
 + @dirrm lib/oz/share
 + @dirrm lib/oz
 


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-ports" in the body of the message

---

Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200007162140.OAA85261>

Legal Notices | © 1995-2024 The FreeBSD Project. All rights reserved.

Contact