Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 1 Aug 2001 12:50:01 -0700 (PDT)
From:      Christopher Rued <c.rued@xsb.com>
To:        freebsd-ports@FreeBSD.org
Subject:   ports/29322
Message-ID:  <200108011950.f71Jo1H29135@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/29322; it has been noted by GNATS.

From: Christopher Rued <c.rued@xsb.com>
To: freebsd-gnats-submit@freebsd.org, c.rued@xsb.com
Cc:  
Subject: ports/29322
Date: Wed, 1 Aug 2001 15:43:22 -0400

 I forgot to include the shar...here it is:
 
 # This is a shell archive.  Save it in a file, remove anything before
 # this line, and then unpack it by entering "sh file".  Note, it may
 # create directories; files and directories will be owned by you and
 # have default permissions.
 #
 # This archive contains:
 #
 #	/usr/ports/lang/xsb/
 #	/usr/ports/lang/xsb/Makefile
 #	/usr/ports/lang/xsb/pkg-comment
 #	/usr/ports/lang/xsb/pkg-descr
 #	/usr/ports/lang/xsb/files
 #	/usr/ports/lang/xsb/files/patch-aa
 #	/usr/ports/lang/xsb/files/patch-ab
 #	/usr/ports/lang/xsb/files/patch-ac
 #	/usr/ports/lang/xsb/files/patch-ad
 #	/usr/ports/lang/xsb/files/patch-ae
 #	/usr/ports/lang/xsb/files/patch-af
 #	/usr/ports/lang/xsb/distinfo
 #	/usr/ports/lang/xsb/pkg-plist
 #
 echo c - /usr/ports/lang/xsb/
 mkdir -p /usr/ports/lang/xsb/ > /dev/null 2>&1
 echo x - /usr/ports/lang/xsb/Makefile
 sed 's/^X//' >/usr/ports/lang/xsb/Makefile << 'END-of-/usr/ports/lang/xsb/Makefile'
 X# New ports collection makefile for:	xsb
 X# Date created:		29 Jul 2001
 X# Whom:			Christopher Rued
 X#
 X# $FreeBSD$
 X#
 X
 XPORTNAME=	XSB
 XPORTVERSION=	2.4
 XCATEGORIES=	lang
 XMASTER_SITES=	${MASTER_SITE_SOURCEFORGE}
 XMASTER_SITE_SUBDIR= xsb
 X
 XMAINTAINER=	c.rued@xsb.com
 X
 XWRKSRC=		${WRKDIR}/XSB/build
 X
 XPLIST_SUB+=     MACHINE_ARCH=${MACHINE_ARCH} OPSYS=${OPSYS:S/BSD/bsd/g:S/F/f/g:S/O/o/g:S/N/n/g}
 X
 Xdo-build:
 X	@ cd ${WRKSRC} ; \
 X	./configure  ; \
 X	./makexsb
 X
 Xdo-install:
 X	@ ${CP} -r ${WRKDIR}/XSB ${PREFIX} ; \
 X	${LN} -s ${PREFIX}/XSB/docs ${PREFIX}/share/xsb ; \
 X	${ECHO} XSB is now installed. ; \
 X	${ECHO} To run it, execute ${PREFIX}/XSB/bin/xsb ; \
 X	${ECHO} The user manual is in ${PREFIX}/share/xsb
 X
 X.include <bsd.port.mk>
 END-of-/usr/ports/lang/xsb/Makefile
 echo x - /usr/ports/lang/xsb/pkg-comment
 sed 's/^X//' >/usr/ports/lang/xsb/pkg-comment << 'END-of-/usr/ports/lang/xsb/pkg-comment'
 XA tabled Logic Programming and Deductive Database system
 END-of-/usr/ports/lang/xsb/pkg-comment
 echo x - /usr/ports/lang/xsb/pkg-descr
 sed 's/^X//' >/usr/ports/lang/xsb/pkg-descr << 'END-of-/usr/ports/lang/xsb/pkg-descr'
 XXSB is a Logic Programming and Deductive Database system for Unix and
 XWindows. It is being developed at The Computer Science Department,
 XSUNY Stony Brook (http://www.cs.sunysb.edu/), in collaboration with
 XKatholieke Universiteit Leuven (http://www.kuleuven.ac.be/),
 XUniversidade Nova de Lisboa (http://www.unl.pt/), and Uppsala
 XUniversitet (http://www.uu.se/).
 X
 XOne innovation of XSB is its use of tabled resolution.  Tabled
 Xresolution is useful for recursive query computation, allowing
 Xprograms to terminate correctly in many cases where Prolog does
 Xnot. Users interested in Parsing, Program Analysis, Model-checking,
 XData Mining and Diagnosis may benefit from XSB.
 X
 XWWW: http://xsb.sourceforge.net/
 END-of-/usr/ports/lang/xsb/pkg-descr
 echo c - /usr/ports/lang/xsb/files
 mkdir -p /usr/ports/lang/xsb/files > /dev/null 2>&1
 echo x - /usr/ports/lang/xsb/files/patch-aa
 sed 's/^X//' >/usr/ports/lang/xsb/files/patch-aa << 'END-of-/usr/ports/lang/xsb/files/patch-aa'
 X--- configure.old	Thu Jul  5 12:42:10 2001
 X+++ configure	Sun Jul 29 15:51:36 2001
 X@@ -1561,7 +1561,7 @@
 X # if --with-gcc, take it as a sign of trouble 
 X # with gcc and lower optimization levels
 X if test -n "$with_gcc" ; then
 X-	emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
 X+	emuloop_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
 X 	trutils_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
 X 	builtins_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
 X 	if test -n "$optimization_level"; then
 X@@ -1572,9 +1572,9 @@
 X 	CFLAGS="-Wall -ansi -pedantic"
 X else
 X  case $CC in
 X-   gcc) emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
 X+   gcc) emuloop_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
 X 	trutils_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
 X-	builtins_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
 X+	builtins_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
 X 	if test -n "$optimization_level"; then
 X 	   c_inline_level=""
 X 	else
 X@@ -1583,23 +1583,23 @@
 X 	CFLAGS="-Wall -ansi -pedantic"
 X 	 ;;
 X    cc)	if test "$__sunpro_c" = "no"; then
 X-	   emuloop_opt_level=-${optimization_level-"O4"}
 X-	   trutils_opt_level=-${optimization_level-"O4"}
 X-	   builtins_opt_level=-${optimization_level-"O4"}
 X+	   emuloop_opt_level=-${optimization_level-"O2"}
 X+	   trutils_opt_level=-${optimization_level-"O2"}
 X+	   builtins_opt_level=-${optimization_level-"O2"}
 X 	else
 X 	   # emuloop_opt_level is the optimization level for emuloop.c
 X-	   # Using xO4 would take SunPro more than an hour, hence xO2.
 X+	   # Using xO2 would take SunPro more than an hour, hence xO2.
 X 	   emuloop_opt_level=-${optimization_level-"xO2"}
 X-	   trutils_opt_level=-${optimization_level-"xO4"}
 X-	   builtins_opt_level=-${optimization_level-"xO4"}
 X+	   trutils_opt_level=-${optimization_level-"xO2"}
 X+	   builtins_opt_level=-${optimization_level-"xO2"}
 X 	fi
 X 	c_inline_level=""
 X 	CFLAGS=""
 X 	;;
 X    acc) # acc also seems to choke on high optimization levels for emuloop.c
 X 	emuloop_opt_level=-${optimization_level-"O2"}
 X-	trutils_opt_level=-${optimization_level-"O4"}
 X-	builtins_opt_level=-${optimization_level-"O4"}
 X+	trutils_opt_level=-${optimization_level-"O2"}
 X+	builtins_opt_level=-${optimization_level-"O2"}
 X 	c_inline_level=""
 X 	CFLAGS="-Xa"
 X 	;;
 X@@ -3006,16 +3006,16 @@
 X #fi
 X 
 X 
 X-# Normally, the optimization level will be O4. 
 X+# Normally, the optimization level will be O2. 
 X # SGI64 must have O1 and 32 bit SGI's can have O2
 X if test "$__sunpro_c" = "no"; then
 X    if test "$CC" = "gcc" ; then
 X-	c_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
 X+	c_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
 X    else
 X-	c_opt_level=-${optimization_level-"O4"}
 X+	c_opt_level=-${optimization_level-"O2"}
 X    fi
 X else
 X-   c_opt_level=-${optimization_level-"xO4"}
 X+   c_opt_level=-${optimization_level-"xO2"}
 X fi
 X 
 X 
 END-of-/usr/ports/lang/xsb/files/patch-aa
 echo x - /usr/ports/lang/xsb/files/patch-ab
 sed 's/^X//' >/usr/ports/lang/xsb/files/patch-ab << 'END-of-/usr/ports/lang/xsb/files/patch-ab'
 X--- configure.in.old	Thu Jul  5 12:42:10 2001
 X+++ configure.in	Sun Jul 29 15:52:05 2001
 X@@ -579,7 +579,7 @@
 X # if --with-gcc, take it as a sign of trouble 
 X # with gcc and lower optimization levels
 X if test -n "$with_gcc" ; then
 X-	emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
 X+	emuloop_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
 X 	trutils_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
 X 	builtins_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
 X 	if test -n "$optimization_level"; then
 X@@ -590,9 +590,9 @@
 X 	CFLAGS="-Wall -ansi -pedantic"
 X else
 X  case $CC in
 X-   gcc) emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
 X+   gcc) emuloop_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
 X 	trutils_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
 X-	builtins_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
 X+	builtins_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
 X 	if test -n "$optimization_level"; then
 X 	   c_inline_level=""
 X 	else
 X@@ -601,23 +601,23 @@
 X 	CFLAGS="-Wall -ansi -pedantic"
 X 	 ;;
 X    cc)	if test "$__sunpro_c" = "no"; then
 X-	   emuloop_opt_level=-${optimization_level-"O4"}
 X-	   trutils_opt_level=-${optimization_level-"O4"}
 X-	   builtins_opt_level=-${optimization_level-"O4"}
 X+	   emuloop_opt_level=-${optimization_level-"O2"}
 X+	   trutils_opt_level=-${optimization_level-"O2"}
 X+	   builtins_opt_level=-${optimization_level-"O2"}
 X 	else
 X 	   # emuloop_opt_level is the optimization level for emuloop.c
 X-	   # Using xO4 would take SunPro more than an hour, hence xO2.
 X+	   # Using xO2 would take SunPro more than an hour, hence xO2.
 X 	   emuloop_opt_level=-${optimization_level-"xO2"}
 X-	   trutils_opt_level=-${optimization_level-"xO4"}
 X-	   builtins_opt_level=-${optimization_level-"xO4"}
 X+	   trutils_opt_level=-${optimization_level-"xO2"}
 X+	   builtins_opt_level=-${optimization_level-"xO2"}
 X 	fi
 X 	c_inline_level=""
 X 	CFLAGS=""
 X 	;;
 X    acc) # acc also seems to choke on high optimization levels for emuloop.c
 X 	emuloop_opt_level=-${optimization_level-"O2"}
 X-	trutils_opt_level=-${optimization_level-"O4"}
 X-	builtins_opt_level=-${optimization_level-"O4"}
 X+	trutils_opt_level=-${optimization_level-"O2"}
 X+	builtins_opt_level=-${optimization_level-"O2"}
 X 	c_inline_level=""
 X 	CFLAGS="-Xa"
 X 	;;
 X@@ -1036,16 +1036,16 @@
 X #fi
 X 
 X 
 X-# Normally, the optimization level will be O4. 
 X+# Normally, the optimization level will be O2. 
 X # SGI64 must have O1 and 32 bit SGI's can have O2
 X if test "$__sunpro_c" = "no"; then
 X    if test "$CC" = "gcc" ; then
 X-	c_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
 X+	c_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
 X    else
 X-	c_opt_level=-${optimization_level-"O4"}
 X+	c_opt_level=-${optimization_level-"O2"}
 X    fi
 X else
 X-   c_opt_level=-${optimization_level-"xO4"}
 X+   c_opt_level=-${optimization_level-"xO2"}
 X fi
 X 
 X 
 END-of-/usr/ports/lang/xsb/files/patch-ab
 echo x - /usr/ports/lang/xsb/files/patch-ac
 sed 's/^X//' >/usr/ports/lang/xsb/files/patch-ac << 'END-of-/usr/ports/lang/xsb/files/patch-ac'
 X--- makexsb.in.old	Sun Jul 29 15:37:36 2001
 X+++ makexsb.in	Sun Jul 29 16:18:20 2001
 X@@ -74,9 +74,9 @@
 X 
 X if test -r "$makefile" ; then
 X    echo ""
 X-   echo "make -f ${makefile}  $makeargs"
 X+   echo "gmake -f ${makefile}  $makeargs"
 X    echo ""
 X-   make -f ${makefile}  $makeargs
 X+   gmake -f ${makefile}  $makeargs
 X else
 X    echo "${makefile}: doesn't exist or is not readable."
 X    echo "Have you configured XSB for this architecture?"
 END-of-/usr/ports/lang/xsb/files/patch-ac
 echo x - /usr/ports/lang/xsb/files/patch-ad
 sed 's/^X//' >/usr/ports/lang/xsb/files/patch-ad << 'END-of-/usr/ports/lang/xsb/files/patch-ad'
 X--- topMakefile.in.old	Sun Jul 29 16:23:01 2001
 X+++ topMakefile.in	Sun Jul 29 16:22:28 2001
 X@@ -164,9 +164,9 @@
 X 
 X emu: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h
 X 	cd ${src_emudir}; \
 X-	    make depend; \
 X+	    gmake depend; \
 X 	    rm -f $(srcdir)/build/.xsb_build_failed; \
 X-	    (make EXECUTABLE="$(EXECUTABLE)" $(emumake_goal) || \
 X+	    (gmake EXECUTABLE="$(EXECUTABLE)" $(emumake_goal) || \
 X 	        $(srcdir)/build/touch.sh $(srcdir)/build/.xsb_build_failed) \
 X 		2>&1 | tee -a ../build/Installation_summary; \
 X 	    (test ! -f $(srcdir)/build/.xsb_build_failed || \
 X@@ -174,7 +174,7 @@
 X 
 X gpp:
 X 	@echo ""; echo "Making gpp"
 X-	@cd $(srcdir)/gpp; make 2>&1 | tee -a ../build/Installation_summary
 X+	@cd $(srcdir)/gpp; gmake 2>&1 | tee -a ../build/Installation_summary
 X 
 X # Compiling the interface with sModels.
 X smodels:
 X@@ -182,7 +182,7 @@
 X 	  echo "Compiling smodels interface"; \
 X 	  rm -f *.o Makefile *.h *.O *.so 2>/dev/null || echo ""; \
 X 	  ln -s ${src_config_prefix}/smoMakefile ./Makefile; \
 X-	  make XSB=$(src_scriptdir)/xsb$(config_tag) @smodels_goal@ 2>&1\
 X+	  gmake XSB=$(src_scriptdir)/xsb$(config_tag) @smodels_goal@ 2>&1\
 X 		 | tee -a ../../build/Installation_summary
 X 
 X # Goal for making an XSB load module to be linked with external
 X@@ -193,10 +193,10 @@
 X # This invokes xsboramod and xsbmod goals in emuMakefile, respectively
 X xsbmod: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h
 X 	cd ${src_emudir}; \
 X-	    make $(emumake_goal)mod
 X+	    gmake $(emumake_goal)mod
 X 
 X xsbdll: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h
 X-	cd ${src_emudir}; make dll
 X+	cd ${src_emudir}; gmake dll
 X 
 X emu_clean: do_cleaning inform_executable
 X 
 X@@ -305,10 +305,10 @@
 X 	  chmod 644  $(install_config_libdir)/xsb_configuration.O
 X 
 X remake_dot_O_files:
 X-	cd $(srcdir); make XSB=$(src_scriptdir)/xsb$(config_tag)
 X+	cd $(srcdir); gmake XSB=$(src_scriptdir)/xsb$(config_tag)
 X 
 X remake_dot_O_files_force:
 X-	cd $(srcdir); make force XSB=$(src_scriptdir)/xsb$(config_tag)
 X+	cd $(srcdir); gmake force XSB=$(src_scriptdir)/xsb$(config_tag)
 X 
 X # clean for this architecture only
 X configclean::
 END-of-/usr/ports/lang/xsb/files/patch-ad
 echo x - /usr/ports/lang/xsb/files/patch-ae
 sed 's/^X//' >/usr/ports/lang/xsb/files/patch-ae << 'END-of-/usr/ports/lang/xsb/files/patch-ae'
 X--- ../Makefile.orig	Sun Jul 29 17:47:07 2001
 X+++ ../Makefile	Sun Jul 29 17:47:59 2001
 X@@ -38,16 +38,16 @@
 X 
 X syslib::
 X 	@echo ""
 X-	cd syslib; make
 X+	cd syslib; gmake
 X 
 X lib::
 X 	@echo ""
 X-	cd lib; make
 X+	cd lib; gmake
 X 
 X cmplib::
 X 	@echo ""
 X-	cd cmplib; make
 X+	cd cmplib; gmake
 X 
 X packages::
 X 	@echo ""
 X-	cd packages; make
 X+	cd packages; gmake
 END-of-/usr/ports/lang/xsb/files/patch-ae
 echo x - /usr/ports/lang/xsb/files/patch-af
 sed 's/^X//' >/usr/ports/lang/xsb/files/patch-af << 'END-of-/usr/ports/lang/xsb/files/patch-af'
 X--- register.sh~	Tue Apr 11 18:30:27 2000
 X+++ register.sh	Wed Aug  1 15:25:39 2001
 X@@ -6,21 +6,15 @@
 X 
 X The installation process is now complete. The log is in: Installation_summary
 X 
 X-We would like to ask you to email this log to us.
 X+We would like to ask you to email this log to us:
 X+
 X+    xsb-installation@lists.sourceforge.net
 X+
 X Installation logs help the XSB group to keep track of the usage of the
 X system on different architectures and to isolate problems more easily.
 X 
 X-The log will be sent automatically to  xsb-installation@lists.sourceforge.net
 X-Would you like to send us the installation log? (y/n): y
 X+*******************************************************************************
 X EOF
 X-
 X-read sendlog
 X-
 X-if test "$sendlog" != "n" -a "$sendlog" != "no" -a "$sendlog" != "N" ; then
 X-    (cat sendlog.msg Installation_summary \
 X-	| mail xsb-installation@lists.sourceforge.net) \
 X-    && echo "" ; echo "Thank you!"; echo ""
 X-fi
 X 
 X cat <<EOF
 X Should you find a bug in XSB, please report it using our bug tracking system at
 END-of-/usr/ports/lang/xsb/files/patch-af
 echo x - /usr/ports/lang/xsb/distinfo
 sed 's/^X//' >/usr/ports/lang/xsb/distinfo << 'END-of-/usr/ports/lang/xsb/distinfo'
 XMD5 (XSB-2.4.tar.gz) = 3f86ed352f7d1b95e9700e492ecca933
 END-of-/usr/ports/lang/xsb/distinfo
 echo x - /usr/ports/lang/xsb/pkg-plist
 sed 's/^X//' >/usr/ports/lang/xsb/pkg-plist << 'END-of-/usr/ports/lang/xsb/pkg-plist'
 Xshare/xsb
 XXSB/etc/CVS/Root
 XXSB/etc/CVS/Repository
 XXSB/etc/CVS/Entries
 XXSB/etc/CVS/Tag
 XXSB/etc/images/CVS/Root
 XXSB/etc/images/CVS/Repository
 XXSB/etc/images/CVS/Entries
 XXSB/etc/images/CVS/Tag
 XXSB/etc/images/xsb-logo.eps
 XXSB/etc/.cvsignore
 XXSB/etc/copying.msg
 XXSB/etc/help.msg
 XXSB/etc/prolog.el
 XXSB/bin/xsb
 XXSB/bin/wxsb.bat
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib/xsb_configuration.P
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib/xsb_configuration.O
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/gpp.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/auxlry.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/biassert.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/builtin.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/chat.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/cinterf.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/debug_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/dis.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/dynload.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/dynamic_stack.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/emuloop.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/error_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/findall.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/function.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/hash_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/heap_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/init_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/inst_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/io_builtins_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/loader_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/memory_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/orient_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/pathname_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/private_builtin.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/psc_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/random_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/residual.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/scc_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/slgdelay.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/socket_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/string_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/struct_manager.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/sub_delete.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/subp.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/system_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/table_stats.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tables.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/timer_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/token_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tr_utils.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/trace_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/trie_lookup.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/trie_search.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tries.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tst_insert.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tst_retrv.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tst_unify.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/tst_utils.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/varstring.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/main_xsb.o
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/bin/xsb
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/bin/gpp
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/modMakefile
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/gppMakefile
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/smoMakefile
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/banner.msg
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/MSVC_mkfile.mak
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/xsb_config.h
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/xsb_debug.h
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/config.cache
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/Installation_summary
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/topMakefile
 XXSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/emuMakefile
 XXSB/examples/c_calling_XSB/CVS/Root
 XXSB/examples/c_calling_XSB/CVS/Repository
 XXSB/examples/c_calling_XSB/CVS/Entries
 XXSB/examples/c_calling_XSB/CVS/Tag
 XXSB/examples/c_calling_XSB/.cvsignore
 XXSB/examples/c_calling_XSB/Makefile
 XXSB/examples/c_calling_XSB/README
 XXSB/examples/c_calling_XSB/cmain.c
 XXSB/examples/c_calling_XSB/cmain.mak
 XXSB/examples/c_calling_XSB/cmain2.c
 XXSB/examples/c_calling_XSB/ctest.P
 XXSB/examples/c_calling_XSB/make.P
 XXSB/examples/CVS/Root
 XXSB/examples/CVS/Repository
 XXSB/examples/CVS/Entries
 XXSB/examples/CVS/Tag
 XXSB/examples/XSB_calling_c/CVS/Root
 XXSB/examples/XSB_calling_c/CVS/Repository
 XXSB/examples/XSB_calling_c/CVS/Entries
 XXSB/examples/XSB_calling_c/CVS/Tag
 XXSB/examples/XSB_calling_c/.cvsignore
 XXSB/examples/XSB_calling_c/MakefileForCreatingDLLs
 XXSB/examples/XSB_calling_c/file_expand.H
 XXSB/examples/XSB_calling_c/file_expand.c
 XXSB/examples/XSB_calling_c/hello.H
 XXSB/examples/XSB_calling_c/hello.c
 XXSB/examples/XSB_calling_c/second_foreign.H
 XXSB/examples/XSB_calling_c/second_foreign.c
 XXSB/examples/XSB_calling_c/second_foreign.mak
 XXSB/examples/XSB_calling_c/simple_foreign.H
 XXSB/examples/XSB_calling_c/simple_foreign.c
 XXSB/examples/XSB_calling_c/simple_foreign.mak
 XXSB/examples/xmc/Sieve/CVS/Root
 XXSB/examples/xmc/Sieve/CVS/Repository
 XXSB/examples/xmc/Sieve/CVS/Entries
 XXSB/examples/xmc/Sieve/CVS/Tag
 XXSB/examples/xmc/Sieve/.cvsignore
 XXSB/examples/xmc/Sieve/sieve.xl
 XXSB/examples/xmc/Sieve/test.sh
 XXSB/examples/xmc/Sieve/test_new
 XXSB/examples/xmc/Sieve/test_old
 XXSB/examples/xmc/Sieve/test.P
 XXSB/examples/xmc/ABP/CVS/Root
 XXSB/examples/xmc/ABP/CVS/Repository
 XXSB/examples/xmc/ABP/CVS/Entries
 XXSB/examples/xmc/ABP/CVS/Tag
 XXSB/examples/xmc/ABP/.cvsignore
 XXSB/examples/xmc/ABP/abp.xl
 XXSB/examples/xmc/ABP/buggyabp.xl
 XXSB/examples/xmc/ABP/test.P
 XXSB/examples/xmc/ABP/test.sh
 XXSB/examples/xmc/ABP/test_new
 XXSB/examples/xmc/ABP/test_old
 XXSB/examples/xmc/CVS/Root
 XXSB/examples/xmc/CVS/Repository
 XXSB/examples/xmc/CVS/Entries
 XXSB/examples/xmc/CVS/Tag
 XXSB/examples/xmc/Iproto/CVS/Root
 XXSB/examples/xmc/Iproto/CVS/Repository
 XXSB/examples/xmc/Iproto/CVS/Entries
 XXSB/examples/xmc/Iproto/CVS/Tag
 XXSB/examples/xmc/Iproto/.cvsignore
 XXSB/examples/xmc/Iproto/i.xl
 XXSB/examples/xmc/Iproto/test.sh
 XXSB/examples/xmc/Iproto/test_new
 XXSB/examples/xmc/Iproto/test_old
 XXSB/examples/xmc/Iproto/test.P
 XXSB/examples/xmc/Rether/CVS/Root
 XXSB/examples/xmc/Rether/CVS/Repository
 XXSB/examples/xmc/Rether/CVS/Entries
 XXSB/examples/xmc/Rether/CVS/Tag
 XXSB/examples/xmc/Rether/.cvsignore
 XXSB/examples/xmc/Rether/rether.xl
 XXSB/examples/xmc/Rether/test.sh
 XXSB/examples/xmc/Rether/test_new
 XXSB/examples/xmc/Rether/test_old
 XXSB/examples/xmc/Rether/test.P
 XXSB/examples/xmc/Metalock/CVS/Root
 XXSB/examples/xmc/Metalock/CVS/Repository
 XXSB/examples/xmc/Metalock/CVS/Entries
 XXSB/examples/xmc/Metalock/CVS/Tag
 XXSB/examples/xmc/Metalock/.cvsignore
 XXSB/examples/xmc/Metalock/metalock.xl
 XXSB/examples/xmc/Metalock/nomutext_out
 XXSB/examples/xmc/Metalock/test.P
 XXSB/examples/xmc/Metalock/test.sh
 XXSB/examples/xmc/Metalock/test_new
 XXSB/examples/xmc/Metalock/test_old
 XXSB/examples/xmc/Leader/CVS/Root
 XXSB/examples/xmc/Leader/CVS/Repository
 XXSB/examples/xmc/Leader/CVS/Entries
 XXSB/examples/xmc/Leader/CVS/Tag
 XXSB/examples/xmc/Leader/.cvsignore
 XXSB/examples/xmc/Leader/leader.xl
 XXSB/examples/xmc/Leader/test.sh
 XXSB/examples/xmc/Leader/test_new
 XXSB/examples/xmc/Leader/test_old
 XXSB/examples/xmc/Leader/test.P
 XXSB/examples/xmc/Tests/CVS/Root
 XXSB/examples/xmc/Tests/CVS/Repository
 XXSB/examples/xmc/Tests/CVS/Entries
 XXSB/examples/xmc/Tests/CVS/Tag
 XXSB/examples/xmc/Tests/.cvsignore
 XXSB/examples/xmc/Tests/temp.P
 XXSB/examples/xmc/Tests/test1.xl
 XXSB/examples/xmc/Tests/test2.xl
 XXSB/examples/xmc/Tests/test3.xl
 XXSB/examples/xmc/testsuite.sh
 XXSB/examples/xmc/testall.sh
 XXSB/examples/xmc/test.P
 XXSB/examples/xmc/gentest.sh
 XXSB/examples/xmc/.cvsignore
 XXSB/examples/libwww/CVS/Root
 XXSB/examples/libwww/CVS/Repository
 XXSB/examples/libwww/CVS/Entries
 XXSB/examples/libwww/CVS/Tag
 XXSB/examples/libwww/files/CVS/Root
 XXSB/examples/libwww/files/CVS/Repository
 XXSB/examples/libwww/files/CVS/Entries
 XXSB/examples/libwww/files/CVS/Tag
 XXSB/examples/libwww/files/simple.html
 XXSB/examples/libwww/files/001.ent
 XXSB/examples/libwww/files/ex2.rdf
 XXSB/examples/libwww/files/REC-xml-19980210.xml
 XXSB/examples/libwww/files/ex3.rdf
 XXSB/examples/libwww/files/ex4.rdf
 XXSB/examples/libwww/files/ex5.rdf
 XXSB/examples/libwww/files/ex6.rdf
 XXSB/examples/libwww/files/ex7.rdf
 XXSB/examples/libwww/files/newsday1.html
 XXSB/examples/libwww/files/simple.xml
 XXSB/examples/libwww/files/simple1.xml
 XXSB/examples/libwww/files/simple2.html
 XXSB/examples/libwww/files/simple_wrong.xml
 XXSB/examples/libwww/files/team-2.rdf
 XXSB/examples/libwww/files/test1.html
 XXSB/examples/libwww/files/test2.html
 XXSB/examples/libwww/files/w3c.html
 XXSB/examples/libwww/files/w3c1.html
 XXSB/examples/libwww/.cvsignore
 XXSB/examples/libwww/testsuite.P
 XXSB/examples/socket/select/CVS/Root
 XXSB/examples/socket/select/CVS/Repository
 XXSB/examples/socket/select/CVS/Entries
 XXSB/examples/socket/select/CVS/Tag
 XXSB/examples/socket/select/.cvsignore
 XXSB/examples/socket/select/auxdefs.P
 XXSB/examples/socket/select/msgclient.P
 XXSB/examples/socket/select/msgclient2.P
 XXSB/examples/socket/select/msgserver.P
 XXSB/examples/socket/select/msgserver2.P
 XXSB/examples/socket/select/readclient.P
 XXSB/examples/socket/select/readclient2.P
 XXSB/examples/socket/select/readserver.P
 XXSB/examples/socket/select/readserver2.P
 XXSB/examples/socket/select/writeclient.P
 XXSB/examples/socket/select/writeclient2.P
 XXSB/examples/socket/select/writeserver.P
 XXSB/examples/socket/select/writeserver2.P
 XXSB/examples/socket/CVS/Root
 XXSB/examples/socket/CVS/Repository
 XXSB/examples/socket/CVS/Entries
 XXSB/examples/socket/CVS/Tag
 XXSB/examples/socket/auxdefs.P
 XXSB/examples/socket/msgclient.P
 XXSB/examples/socket/msgserver.P
 XXSB/examples/socket/putclient.P
 XXSB/examples/socket/putserver.P
 XXSB/examples/socket/streamclient.P
 XXSB/examples/socket/streamserver.P
 XXSB/examples/socket/.cvsignore
 XXSB/examples/subprocess/CVS/Root
 XXSB/examples/subprocess/CVS/Repository
 XXSB/examples/subprocess/CVS/Entries
 XXSB/examples/subprocess/CVS/Tag
 XXSB/examples/subprocess/.cvsignore
 XXSB/examples/subprocess/child.P
 XXSB/examples/subprocess/child2.P
 XXSB/examples/subprocess/parent.P
 XXSB/examples/subprocess/parent2.P
 XXSB/examples/farmer.P
 XXSB/examples/fib.P
 XXSB/examples/first.P
 XXSB/examples/gap.P
 XXSB/examples/ham.H
 XXSB/examples/ham.P
 XXSB/examples/houses.H
 XXSB/examples/houses.P
 XXSB/examples/lips_mega.H
 XXSB/examples/lips_mega.P
 XXSB/examples/mandel.H
 XXSB/examples/mandel.P
 XXSB/examples/map.H
 XXSB/examples/map.P
 XXSB/examples/nrev.H
 XXSB/examples/nrev.P
 XXSB/examples/ora_demo.P
 XXSB/examples/parser.P
 XXSB/examples/ptq.P
 XXSB/examples/ptq_examples.P
 XXSB/examples/ptq_utils.P
 XXSB/examples/ptqlex.P
 XXSB/examples/qsort.P
 XXSB/examples/queens.H
 XXSB/examples/queens.P
 XXSB/examples/shortest_path.P
 XXSB/examples/table_examples.P
 XXSB/examples/tree1k.P
 XXSB/examples/wfs.P
 XXSB/examples/wf_examples.P
 XXSB/examples/.cvsignore
 XXSB/examples/Makefile
 XXSB/examples/README
 XXSB/examples/cyl.P
 XXSB/examples/dyn_examples.P
 XXSB/examples/farmer.H
 XXSB/docs/userman/manual1.ps
 XXSB/docs/userman/manual2.ps
 XXSB/packages/regmatch/CVS/Root
 XXSB/packages/regmatch/CVS/Repository
 XXSB/packages/regmatch/CVS/Entries
 XXSB/packages/regmatch/CVS/Tag
 XXSB/packages/regmatch/cc/CVS/Root
 XXSB/packages/regmatch/cc/CVS/Repository
 XXSB/packages/regmatch/cc/CVS/Entries
 XXSB/packages/regmatch/cc/CVS/Tag
 XXSB/packages/regmatch/cc/xsb_re_match.H
 XXSB/packages/regmatch/cc/.cvsignore
 XXSB/packages/regmatch/cc/NMakefile.mak
 XXSB/packages/regmatch/cc/xsb_re_match.c
 XXSB/packages/regmatch/cc/xsb_re_match.O
 XXSB/packages/regmatch/.cvsignore
 XXSB/packages/regmatch/Makefile
 XXSB/packages/regmatch/regmtchconfig.P
 XXSB/packages/regmatch/regmtchconfig.O
 XXSB/packages/xsbdoc/CVS/Root
 XXSB/packages/xsbdoc/CVS/Repository
 XXSB/packages/xsbdoc/CVS/Entries
 XXSB/packages/xsbdoc/CVS/Tag
 XXSB/packages/xsbdoc/.cvsignore
 XXSB/packages/xsbdoc/basic_props.P
 XXSB/packages/xsbdoc/full_ciao_ops.P
 XXSB/packages/xsbdoc/pretty_print.P
 XXSB/packages/xsbdoc/usage_message.P
 XXSB/packages/xmc/GUI/CVS/Root
 XXSB/packages/xmc/GUI/CVS/Repository
 XXSB/packages/xmc/GUI/CVS/Entries
 XXSB/packages/xmc/GUI/CVS/Tag
 XXSB/packages/xmc/GUI/close.bmp
 XXSB/packages/xmc/GUI/false.gif
 XXSB/packages/xmc/GUI/mck.tcl
 XXSB/packages/xmc/GUI/mclistbox.tcl
 XXSB/packages/xmc/GUI/node.bmp
 XXSB/packages/xmc/GUI/open.bmp
 XXSB/packages/xmc/GUI/tcl_interface.P
 XXSB/packages/xmc/GUI/true.gif
 XXSB/packages/xmc/GUI/xmc.tcl
 XXSB/packages/xmc/GUI/xsb_interface.tcl
 XXSB/packages/xmc/CVS/Root
 XXSB/packages/xmc/CVS/Repository
 XXSB/packages/xmc/CVS/Entries
 XXSB/packages/xmc/CVS/Tag
 XXSB/packages/xmc/Makefile
 XXSB/packages/xmc/README
 XXSB/packages/xmc/annot.P
 XXSB/packages/xmc/attr.h
 XXSB/packages/xmc/ccs.P
 XXSB/packages/xmc/comp.H
 XXSB/packages/xmc/comp.P
 XXSB/packages/xmc/comp1.P
 XXSB/packages/xmc/comp2.P
 XXSB/packages/xmc/count.H
 XXSB/packages/xmc/count.P
 XXSB/packages/xmc/driver.c
 XXSB/packages/xmc/formula.H
 XXSB/packages/xmc/formula.P
 XXSB/packages/xmc/gui.H
 XXSB/packages/xmc/gui.P
 XXSB/packages/xmc/justify.H
 XXSB/packages/xmc/justify.P
 XXSB/packages/xmc/lex.yy.c
 XXSB/packages/xmc/main.c
 XXSB/packages/xmc/models_rule.P
 XXSB/packages/xmc/mucalculus.H
 XXSB/packages/xmc/mucalculus.P
 XXSB/packages/xmc/navigate.H
 XXSB/packages/xmc/navigate.P
 XXSB/packages/xmc/quad.H
 XXSB/packages/xmc/quad.P
 XXSB/packages/xmc/reader.P
 XXSB/packages/xmc/runlib.P
 XXSB/packages/xmc/script.P
 XXSB/packages/xmc/setpath.P
 XXSB/packages/xmc/simgui.H
 XXSB/packages/xmc/simgui.P
 XXSB/packages/xmc/stdtype.P
 XXSB/packages/xmc/tcl_interface.H
 XXSB/packages/xmc/tcl_interface.P
 XXSB/packages/xmc/trans.H
 XXSB/packages/xmc/trans.P
 XXSB/packages/xmc/typecheck.H
 XXSB/packages/xmc/typecheck.P
 XXSB/packages/xmc/util.H
 XXSB/packages/xmc/util.P
 XXSB/packages/xmc/xl.l
 XXSB/packages/xmc/xl.tab.c
 XXSB/packages/xmc/xl.tab.h
 XXSB/packages/xmc/xl.y
 XXSB/packages/xmc/xlparse.H
 XXSB/packages/xmc/xlparse.c
 XXSB/packages/xmc/xmc.H
 XXSB/packages/xmc/xmc.P
 XXSB/packages/xmc/xmc-gui
 XXSB/packages/xmc/driver.o
 XXSB/packages/xmc/main.o
 XXSB/packages/xmc/xl.tab.o
 XXSB/packages/xmc/lex.yy.o
 XXSB/packages/xmc/parse
 XXSB/packages/xmc/libxlp.a
 XXSB/packages/xmc/xlparse.O
 XXSB/packages/xmc/xlparse.so
 XXSB/packages/xmc/comp.O
 XXSB/packages/xmc/count.O
 XXSB/packages/xmc/formula.O
 XXSB/packages/xmc/mucalculus.O
 XXSB/packages/xmc/quad.O
 XXSB/packages/xmc/typecheck.O
 XXSB/packages/xmc/util.O
 XXSB/packages/xmc/xmc.O
 XXSB/packages/xmc/justify.O
 XXSB/packages/xmc/navigate.O
 XXSB/packages/xmc/gui.O
 XXSB/packages/xmc/.cvsignore
 XXSB/packages/wildmatch/CVS/Root
 XXSB/packages/wildmatch/CVS/Repository
 XXSB/packages/wildmatch/CVS/Entries
 XXSB/packages/wildmatch/CVS/Tag
 XXSB/packages/wildmatch/cc/CVS/Root
 XXSB/packages/wildmatch/cc/CVS/Repository
 XXSB/packages/wildmatch/cc/CVS/Entries
 XXSB/packages/wildmatch/cc/CVS/Tag
 XXSB/packages/wildmatch/cc/xsb_wildmatch.H
 XXSB/packages/wildmatch/cc/.cvsignore
 XXSB/packages/wildmatch/cc/NMakefile.mak
 XXSB/packages/wildmatch/cc/xsb_wildmatch.c
 XXSB/packages/wildmatch/cc/xsb_wildmatch.O
 XXSB/packages/wildmatch/.cvsignore
 XXSB/packages/wildmatch/Makefile
 XXSB/packages/wildmatch/wldmtchconfig.P
 XXSB/packages/wildmatch/wldmtchconfig.O
 XXSB/packages/slx/CVS/Root
 XXSB/packages/slx/CVS/Repository
 XXSB/packages/slx/CVS/Entries
 XXSB/packages/slx/CVS/Tag
 XXSB/packages/slx/.cvsignore
 XXSB/packages/slx/Makefile
 XXSB/packages/slx/slxshell.P
 XXSB/packages/slx/slxshell.O
 XXSB/packages/sModels/CVS/Root
 XXSB/packages/sModels/CVS/Repository
 XXSB/packages/sModels/CVS/Entries
 XXSB/packages/sModels/CVS/Tag
 XXSB/packages/sModels/Makefile
 XXSB/packages/sModels/.cvsignore
 XXSB/packages/sModels/ex7num.H
 XXSB/packages/sModels/ex7num.P
 XXSB/packages/sModels/example3_1.H
 XXSB/packages/sModels/example3_1.P
 XXSB/packages/sModels/example7.H
 XXSB/packages/sModels/example7.P
 XXSB/packages/sModels/makelinks.sh
 XXSB/packages/sModels/smodels.H
 XXSB/packages/sModels/smodels.c
 XXSB/packages/sModels/smodelsint.H
 XXSB/packages/sModels/smodelsint.P
 XXSB/packages/sModels/smodelsops.H
 XXSB/packages/sModels/smodelsops.P
 XXSB/packages/sModels/teste.H
 XXSB/packages/sModels/teste.P
 XXSB/packages/clpqr/CVS/Root
 XXSB/packages/clpqr/CVS/Repository
 XXSB/packages/clpqr/CVS/Entries
 XXSB/packages/clpqr/CVS/Tag
 XXSB/packages/clpqr/.cvsignore
 XXSB/packages/clpqr/LICENSE
 XXSB/packages/clpqr/Makefile
 XXSB/packages/clpqr/arith.P
 XXSB/packages/clpqr/arith_r.P
 XXSB/packages/clpqr/bb.P
 XXSB/packages/clpqr/bv.P
 XXSB/packages/clpqr/class.P
 XXSB/packages/clpqr/clpr.P
 XXSB/packages/clpqr/compenv.P
 XXSB/packages/clpqr/dump.P
 XXSB/packages/clpqr/expand.P
 XXSB/packages/clpqr/fourmotz.P
 XXSB/packages/clpqr/geler.P
 XXSB/packages/clpqr/ineq.P
 XXSB/packages/clpqr/itf3.P
 XXSB/packages/clpqr/monash.P
 XXSB/packages/clpqr/nf.P
 XXSB/packages/clpqr/nfr.P
 XXSB/packages/clpqr/ordering.P
 XXSB/packages/clpqr/printf.P
 XXSB/packages/clpqr/project.P
 XXSB/packages/clpqr/redund.P
 XXSB/packages/clpqr/store.P
 XXSB/packages/clpqr/arith.O
 XXSB/packages/clpqr/arith_r.O
 XXSB/packages/clpqr/bv.O
 XXSB/packages/clpqr/class.O
 XXSB/packages/clpqr/clpr.O
 XXSB/packages/clpqr/ineq.O
 XXSB/packages/clpqr/itf3.O
 XXSB/packages/clpqr/fourmotz.O
 XXSB/packages/clpqr/nf.O
 XXSB/packages/clpqr/ordering.O
 XXSB/packages/clpqr/project.O
 XXSB/packages/clpqr/redund.O
 XXSB/packages/clpqr/store.O
 XXSB/packages/clpqr/dump.O
 XXSB/packages/perlmatch/cc/CVS/Root
 XXSB/packages/perlmatch/cc/CVS/Repository
 XXSB/packages/perlmatch/cc/CVS/Entries
 XXSB/packages/perlmatch/cc/CVS/Tag
 XXSB/packages/perlmatch/cc/xsbpattern.H
 XXSB/packages/perlmatch/cc/.cvsignore
 XXSB/packages/perlmatch/cc/perlpattern.c
 XXSB/packages/perlmatch/cc/xsbpattern.c
 XXSB/packages/perlmatch/cc/xsbpattern.O
 XXSB/packages/perlmatch/cc/interface.h
 XXSB/packages/perlmatch/CVS/Root
 XXSB/packages/perlmatch/CVS/Repository
 XXSB/packages/perlmatch/CVS/Entries
 XXSB/packages/perlmatch/CVS/Tag
 XXSB/packages/perlmatch/Makefile
 XXSB/packages/perlmatch/plmchconfig.P
 XXSB/packages/perlmatch/plmchshell.P
 XXSB/packages/perlmatch/plmchconfig.O
 XXSB/packages/perlmatch/plmchshell.O
 XXSB/packages/perlmatch/.cvsignore
 XXSB/packages/libwww/cc/CVS/Root
 XXSB/packages/libwww/cc/CVS/Repository
 XXSB/packages/libwww/cc/CVS/Entries
 XXSB/packages/libwww/cc/CVS/Tag
 XXSB/packages/libwww/cc/.cvsignore
 XXSB/packages/libwww/cc/NMakefile.mak
 XXSB/packages/libwww/cc/libwww_parse.h
 XXSB/packages/libwww/cc/libwww_parse_html.c
 XXSB/packages/libwww/cc/libwww_parse_html.h
 XXSB/packages/libwww/cc/libwww_parse_rdf.c
 XXSB/packages/libwww/cc/libwww_parse_rdf.h
 XXSB/packages/libwww/cc/libwww_parse_xml.c
 XXSB/packages/libwww/cc/libwww_parse_xml.h
 XXSB/packages/libwww/cc/libwww_req.h
 XXSB/packages/libwww/cc/libwww_request.c
 XXSB/packages/libwww/cc/libwww_util.h
 XXSB/packages/libwww/CVS/Root
 XXSB/packages/libwww/CVS/Repository
 XXSB/packages/libwww/CVS/Entries
 XXSB/packages/libwww/CVS/Tag
 XXSB/packages/libwww/Makefile
 XXSB/packages/libwww/configure
 XXSB/packages/libwww/configure.in
 XXSB/packages/libwww/http_liberr.P
 XXSB/packages/libwww/libwww_init.in
 XXSB/packages/libwww/libwwwconfig.P
 XXSB/packages/libwww/config.log
 XXSB/packages/libwww/config.cache
 XXSB/packages/libwww/Installation_summary
 XXSB/packages/libwww/config.status
 XXSB/packages/libwww/libwwwconfig.O
 XXSB/packages/libwww/libwww_init.P
 XXSB/packages/libwww/libwww_init.O
 XXSB/packages/libwww/.cvsignore
 XXSB/packages/CVS/Root
 XXSB/packages/CVS/Repository
 XXSB/packages/CVS/Entries
 XXSB/packages/CVS/Tag
 XXSB/packages/flora2/lib/CVS/Root
 XXSB/packages/flora2/lib/CVS/Repository
 XXSB/packages/flora2/lib/CVS/Entries
 XXSB/packages/flora2/lib/CVS/Tag
 XXSB/packages/flora2/lib/.cvsignore
 XXSB/packages/flora2/lib/Makefile
 XXSB/packages/flora2/lib/NMakefile.mak
 XXSB/packages/flora2/lib/README
 XXSB/packages/flora2/lib/flrio.flr
 XXSB/packages/flora2/lib/flrprettyprint.flr
 XXSB/packages/flora2/lib/flrprettyprint.P
 XXSB/packages/flora2/lib/flrio.P
 XXSB/packages/flora2/lib/flrprettyprint_pp.O
 XXSB/packages/flora2/lib/flrio_io.O
 XXSB/packages/flora2/debugger/CVS/Root
 XXSB/packages/flora2/debugger/CVS/Repository
 XXSB/packages/flora2/debugger/CVS/Entries
 XXSB/packages/flora2/debugger/CVS/Tag
 XXSB/packages/flora2/debugger/.cvsignore
 XXSB/packages/flora2/debugger/Makefile
 XXSB/packages/flora2/debugger/NMakefile.mak
 XXSB/packages/flora2/debugger/dynamic_data.in
 XXSB/packages/flora2/debugger/flrdebugger.P
 XXSB/packages/flora2/debugger/static_data.in
 XXSB/packages/flora2/debugger/static_data.dat
 XXSB/packages/flora2/debugger/flrdebugger.O
 XXSB/packages/flora2/debugger/dynamic_data.dat
 XXSB/packages/flora2/docs/CVS/Root
 XXSB/packages/flora2/docs/CVS/Repository
 XXSB/packages/flora2/docs/CVS/Entries
 XXSB/packages/flora2/docs/CVS/Tag
 XXSB/packages/flora2/docs/.cvsignore
 XXSB/packages/flora2/docs/architecture.eps
 XXSB/packages/flora2/docs/architecture.fig
 XXSB/packages/flora2/docs/architecture.jpg
 XXSB/packages/flora2/docs/flora2.tex
 XXSB/packages/flora2/emacs/CVS/Root
 XXSB/packages/flora2/emacs/CVS/Repository
 XXSB/packages/flora2/emacs/CVS/Entries
 XXSB/packages/flora2/emacs/CVS/Tag
 XXSB/packages/flora2/emacs/.cvsignore
 XXSB/packages/flora2/emacs/README
 XXSB/packages/flora2/emacs/flora.el
 XXSB/packages/flora2/flrincludes/CVS/Root
 XXSB/packages/flora2/flrincludes/CVS/Repository
 XXSB/packages/flora2/flrincludes/CVS/Entries
 XXSB/packages/flora2/flrincludes/CVS/Tag
 XXSB/packages/flora2/flrincludes/flora_errors.flh
 XXSB/packages/flora2/flrincludes/flora_prefix.flh
 XXSB/packages/flora2/flrincludes/flora_terms.flh
 XXSB/packages/flora2/genincludes/CVS/Root
 XXSB/packages/flora2/genincludes/CVS/Repository
 XXSB/packages/flora2/genincludes/CVS/Entries
 XXSB/packages/flora2/genincludes/CVS/Tag
 XXSB/packages/flora2/genincludes/.cvsignore
 XXSB/packages/flora2/genincludes/Makefile
 XXSB/packages/flora2/genincludes/README
 XXSB/packages/flora2/genincludes/flrpatch.fli
 XXSB/packages/flora2/genincludes/flrpatch.flh
 XXSB/packages/flora2/genincludes/NMakefile.mak
 XXSB/packages/flora2/headerinc/CVS/Root
 XXSB/packages/flora2/headerinc/CVS/Repository
 XXSB/packages/flora2/headerinc/CVS/Entries
 XXSB/packages/flora2/headerinc/CVS/Tag
 XXSB/packages/flora2/headerinc/flrdefinition_inc.flh
 XXSB/packages/flora2/headerinc/flreqltrailer_inc.flh
 XXSB/packages/flora2/headerinc/flrpatch_inc.flh
 XXSB/packages/flora2/headerinc/flrscalareql_inc.flh
 XXSB/packages/flora2/headerinc/flrtrailer_inc.flh
 XXSB/packages/flora2/headerinc/flrheader_inc.flh
 XXSB/packages/flora2/includes/CVS/Root
 XXSB/packages/flora2/includes/CVS/Repository
 XXSB/packages/flora2/includes/CVS/Entries
 XXSB/packages/flora2/includes/CVS/Tag
 XXSB/packages/flora2/includes/flrdefinition.flh
 XXSB/packages/flora2/includes/flrheader.flh
 XXSB/packages/flora2/closure/includes/CVS/Root
 XXSB/packages/flora2/closure/includes/CVS/Repository
 XXSB/packages/flora2/closure/includes/CVS/Entries
 XXSB/packages/flora2/closure/includes/CVS/Tag
 XXSB/packages/flora2/closure/includes/flrpred.fli
 XXSB/packages/flora2/closure/CVS/Root
 XXSB/packages/flora2/closure/CVS/Repository
 XXSB/packages/flora2/closure/CVS/Entries
 XXSB/packages/flora2/closure/CVS/Tag
 XXSB/packages/flora2/closure/Makefile
 XXSB/packages/flora2/closure/NMakefile.mak
 XXSB/packages/flora2/closure/README
 XXSB/packages/flora2/closure/flrcommon.fli
 XXSB/packages/flora2/closure/flreqltrailer.fli
 XXSB/packages/flora2/closure/flrscalareql.fli
 XXSB/packages/flora2/closure/flrtrailer.fli
 XXSB/packages/flora2/closure/flrcommon.flh
 XXSB/packages/flora2/closure/flrtrailer.flh
 XXSB/packages/flora2/closure/flreqltrailer.flh
 XXSB/packages/flora2/closure/flrscalareql.flh
 XXSB/packages/flora2/closure/.cvsignore
 XXSB/packages/flora2/libinc/CVS/Root
 XXSB/packages/flora2/libinc/CVS/Repository
 XXSB/packages/flora2/libinc/CVS/Entries
 XXSB/packages/flora2/libinc/CVS/Tag
 XXSB/packages/flora2/libinc/flrio_inc.flh
 XXSB/packages/flora2/libinc/flrprettyprint_inc.flh
 XXSB/packages/flora2/p2h/CVS/Root
 XXSB/packages/flora2/p2h/CVS/Repository
 XXSB/packages/flora2/p2h/CVS/Entries
 XXSB/packages/flora2/p2h/CVS/Tag
 XXSB/packages/flora2/p2h/p2h_config.O
 XXSB/packages/flora2/p2h/.cvsignore
 XXSB/packages/flora2/p2h/Makefile
 XXSB/packages/flora2/p2h/NMakefile.mak
 XXSB/packages/flora2/p2h/p2h_config.P
 XXSB/packages/flora2/p2h/prolog2hilog.H
 XXSB/packages/flora2/p2h/prolog2hilog.c
 XXSB/packages/flora2/p2h/prolog2hilog.dll
 XXSB/packages/flora2/p2h/prolog2hilog.exp
 XXSB/packages/flora2/p2h/prolog2hilog.lib
 XXSB/packages/flora2/pkgs/CVS/Root
 XXSB/packages/flora2/pkgs/CVS/Repository
 XXSB/packages/flora2/pkgs/CVS/Entries
 XXSB/packages/flora2/pkgs/CVS/Tag
 XXSB/packages/flora2/pkgs/.cvsignore
 XXSB/packages/flora2/pkgs/Makefile
 XXSB/packages/flora2/pkgs/NMakefile.mak
 XXSB/packages/flora2/syslib/CVS/Root
 XXSB/packages/flora2/syslib/CVS/Repository
 XXSB/packages/flora2/syslib/CVS/Entries
 XXSB/packages/flora2/syslib/CVS/Tag
 XXSB/packages/flora2/syslib/.cvsignore
 XXSB/packages/flora2/syslib/CompileChangedFiles.sh
 XXSB/packages/flora2/syslib/Makefile
 XXSB/packages/flora2/syslib/NMakefile.mak
 XXSB/packages/flora2/syslib/README
 XXSB/packages/flora2/syslib/flraggavg.P
 XXSB/packages/flora2/syslib/flraggcolbag.P
 XXSB/packages/flora2/syslib/flraggcolset.P
 XXSB/packages/flora2/syslib/flraggcount.P
 XXSB/packages/flora2/syslib/flraggmax.P
 XXSB/packages/flora2/syslib/flraggmin.P
 XXSB/packages/flora2/syslib/flraggsum.P
 XXSB/packages/flora2/syslib/flranswer.P
 XXSB/packages/flora2/syslib/flrbtdbop.P
 XXSB/packages/flora2/syslib/flrcontrol.H
 XXSB/packages/flora2/syslib/flrcontrol.P
 XXSB/packages/flora2/syslib/flrdbop.P
 XXSB/packages/flora2/syslib/flrdisplay.P
 XXSB/packages/flora2/syslib/flrdynmod.P
 XXSB/packages/flora2/syslib/flrequality.P
 XXSB/packages/flora2/syslib/flrexpunge.P
 XXSB/packages/flora2/syslib/flrimport.H
 XXSB/packages/flora2/syslib/flrimport.P
 XXSB/packages/flora2/syslib/flrload.P
 XXSB/packages/flora2/syslib/flrmetaops.P
 XXSB/packages/flora2/syslib/flrshdirect.P
 XXSB/packages/flora2/syslib/flrstorage.P
 XXSB/packages/flora2/syslib/flranswer.O
 XXSB/packages/flora2/syslib/flrcontrol.O
 XXSB/packages/flora2/syslib/flrdisplay.O
 XXSB/packages/flora2/syslib/flrload.O
 XXSB/packages/flora2/syslib/flraggavg.O
 XXSB/packages/flora2/syslib/flraggcolbag.O
 XXSB/packages/flora2/syslib/flraggcolset.O
 XXSB/packages/flora2/syslib/flraggcount.O
 XXSB/packages/flora2/syslib/flraggmax.O
 XXSB/packages/flora2/syslib/flraggmin.O
 XXSB/packages/flora2/syslib/flraggsum.O
 XXSB/packages/flora2/syslib/flrstorage.O
 XXSB/packages/flora2/syslib/flrdbop.O
 XXSB/packages/flora2/syslib/flrbtdbop.O
 XXSB/packages/flora2/syslib/flrshdirect.O
 XXSB/packages/flora2/syslib/flrdynmod.O
 XXSB/packages/flora2/syslib/flrequality.O
 XXSB/packages/flora2/syslib/flrimport.O
 XXSB/packages/flora2/syslib/flrexpunge.O
 XXSB/packages/flora2/syslibinc/CVS/Root
 XXSB/packages/flora2/syslibinc/CVS/Repository
 XXSB/packages/flora2/syslibinc/CVS/Entries
 XXSB/packages/flora2/syslibinc/CVS/Tag
 XXSB/packages/flora2/syslibinc/README
 XXSB/packages/flora2/syslibinc/flrabolish_inc.flh
 XXSB/packages/flora2/syslibinc/flraggavg_inc.flh
 XXSB/packages/flora2/syslibinc/flraggcolbag_inc.flh
 XXSB/packages/flora2/syslibinc/flraggcolset_inc.flh
 XXSB/packages/flora2/syslibinc/flraggcount_inc.flh
 XXSB/packages/flora2/syslibinc/flraggmax_inc.flh
 XXSB/packages/flora2/syslibinc/flraggmin_inc.flh
 XXSB/packages/flora2/syslibinc/flraggsum_inc.flh
 XXSB/packages/flora2/syslibinc/flranswer_inc.flh
 XXSB/packages/flora2/syslibinc/flrbtdbop_inc.flh
 XXSB/packages/flora2/syslibinc/flrcontrol_inc.flh
 XXSB/packages/flora2/syslibinc/flrdbop_inc.flh
 XXSB/packages/flora2/syslibinc/flrdynmod_inc.flh
 XXSB/packages/flora2/syslibinc/flrequality_inc.flh
 XXSB/packages/flora2/syslibinc/flrexpunge_inc.flh
 XXSB/packages/flora2/syslibinc/flrload_inc.flh
 XXSB/packages/flora2/syslibinc/flrmetaops_inc.flh
 XXSB/packages/flora2/syslibinc/flrshdirect_inc.flh
 XXSB/packages/flora2/trailer/CVS/Root
 XXSB/packages/flora2/trailer/CVS/Repository
 XXSB/packages/flora2/trailer/CVS/Entries
 XXSB/packages/flora2/trailer/CVS/Tag
 XXSB/packages/flora2/trailer/.cvsignore
 XXSB/packages/flora2/trailer/Makefile
 XXSB/packages/flora2/trailer/NMakefile.mak
 XXSB/packages/flora2/trailer/README
 XXSB/packages/flora2/trailer/standard.P
 XXSB/packages/flora2/trailer/standard.O
 XXSB/packages/flora2/trailer/eqlbasic.P
 XXSB/packages/flora2/trailer/eqlbasic.O
 XXSB/packages/flora2/trailer/eqlflogic.P
 XXSB/packages/flora2/trailer/eqlflogic.O
 XXSB/packages/flora2/trailer/patch.P
 XXSB/packages/flora2/trailer/patch.O
 XXSB/packages/flora2/demos/CVS/Root
 XXSB/packages/flora2/demos/CVS/Repository
 XXSB/packages/flora2/demos/CVS/Entries
 XXSB/packages/flora2/demos/CVS/Tag
 XXSB/packages/flora2/demos/.cvsignore
 XXSB/packages/flora2/demos/CompileChangedFiles.sh
 XXSB/packages/flora2/demos/Makefile
 XXSB/packages/flora2/demos/NMakefile.mak
 XXSB/packages/flora2/demos/aggregate.flr
 XXSB/packages/flora2/demos/benchmark.flr
 XXSB/packages/flora2/demos/default.flr
 XXSB/packages/flora2/demos/family_obj.flr
 XXSB/packages/flora2/demos/family_rel.flr
 XXSB/packages/flora2/demos/flogic_basics.flr
 XXSB/packages/flora2/demos/metavar.flr
 XXSB/packages/flora2/demos/mix.flr
 XXSB/packages/flora2/demos/mod1.flr
 XXSB/packages/flora2/demos/mod2.flr
 XXSB/packages/flora2/demos/module1.flr
 XXSB/packages/flora2/demos/module2.flr
 XXSB/packages/flora2/demos/mono_inherit.flr
 XXSB/packages/flora2/demos/nonmono_inherit.flr
 XXSB/packages/flora2/demos/pps.flr
 XXSB/packages/flora2/demos/rel_ops.flr
 XXSB/packages/flora2/demos/tree_traversal.flr
 XXSB/packages/flora2/demos/aggregate.P
 XXSB/packages/flora2/demos/aggregate.fdb
 XXSB/packages/flora2/demos/benchmark.P
 XXSB/packages/flora2/demos/aggregate_main.O
 XXSB/packages/flora2/demos/benchmark.fdb
 XXSB/packages/flora2/demos/default.P
 XXSB/packages/flora2/demos/benchmark_main.O
 XXSB/packages/flora2/demos/default.fdb
 XXSB/packages/flora2/demos/family_obj.P
 XXSB/packages/flora2/demos/default_main.O
 XXSB/packages/flora2/demos/family_obj.fdb
 XXSB/packages/flora2/demos/family_rel.P
 XXSB/packages/flora2/demos/family_obj_main.O
 XXSB/packages/flora2/demos/family_rel.fdb
 XXSB/packages/flora2/demos/metavar.P
 XXSB/packages/flora2/demos/family_rel_main.O
 XXSB/packages/flora2/demos/flogic_basics.P
 XXSB/packages/flora2/demos/flogic_basics.fdb
 XXSB/packages/flora2/demos/metavar.fdb
 XXSB/packages/flora2/demos/flogic_basics_main.O
 XXSB/packages/flora2/demos/mix.P
 XXSB/packages/flora2/demos/metavar_main.O
 XXSB/packages/flora2/demos/mix.fdb
 XXSB/packages/flora2/demos/mod1.P
 XXSB/packages/flora2/demos/mix_main.O
 XXSB/packages/flora2/demos/module1.P
 XXSB/packages/flora2/demos/module1.fdb
 XXSB/packages/flora2/demos/mod1.fdb
 XXSB/packages/flora2/demos/module1_main.O
 XXSB/packages/flora2/demos/mod1_main.O
 XXSB/packages/flora2/demos/mono_inherit.P
 XXSB/packages/flora2/demos/mono_inherit.fdb
 XXSB/packages/flora2/demos/rel_ops.P
 XXSB/packages/flora2/demos/mono_inherit_main.O
 XXSB/packages/flora2/demos/rel_ops.fdb
 XXSB/packages/flora2/demos/rel_ops_main.O
 XXSB/packages/flora2/demos/tree_traversal.P
 XXSB/packages/flora2/demos/tree_traversal.fdb
 XXSB/packages/flora2/demos/tree_traversal_main.O
 XXSB/packages/flora2/CVS/Root
 XXSB/packages/flora2/CVS/Repository
 XXSB/packages/flora2/CVS/Entries
 XXSB/packages/flora2/CVS/Tag
 XXSB/packages/flora2/flrlexer.P
 XXSB/packages/flora2/flrlibman.H
 XXSB/packages/flora2/flrlibman.P
 XXSB/packages/flora2/flrnodefp.H
 XXSB/packages/flora2/flrnodefp.P
 XXSB/packages/flora2/flrnowsp.H
 XXSB/packages/flora2/flrnowsp.P
 XXSB/packages/flora2/flroperator.H
 XXSB/packages/flora2/flroperator.P
 XXSB/packages/flora2/TODO
 XXSB/packages/flora2/flrparser.H
 XXSB/packages/flora2/flrparser.P
 XXSB/packages/flora2/flrprint.H
 XXSB/packages/flora2/flrprint.P
 XXSB/packages/flora2/flrprolog.H
 XXSB/packages/flora2/flrprolog.P
 XXSB/packages/flora2/flrshell.H
 XXSB/packages/flora2/flrshell.P
 XXSB/packages/flora2/flrundefhook.H
 XXSB/packages/flora2/flrundefhook.P
 XXSB/packages/flora2/flrutils.H
 XXSB/packages/flora2/flrutils.P
 XXSB/packages/flora2/flrwraparound.H
 XXSB/packages/flora2/flrwraparound.P
 XXSB/packages/flora2/flrwrapper.H
 XXSB/packages/flora2/flrwrapper.P
 XXSB/packages/flora2/flrutils.O
 XXSB/packages/flora2/flroperator.O
 XXSB/packages/flora2/flrnodefp.O
 XXSB/packages/flora2/flrnowsp.O
 XXSB/packages/flora2/flrarguments.O
 XXSB/packages/flora2/flrprolog.O
 XXSB/packages/flora2/flrfirstorder.O
 XXSB/packages/flora2/flrprint.O
 XXSB/packages/flora2/flrlibman.O
 XXSB/packages/flora2/flrlexer.O
 XXSB/packages/flora2/flrcomposer.O
 XXSB/packages/flora2/flrparser.O
 XXSB/packages/flora2/flrcompiler.O
 XXSB/packages/flora2/flrcoder.O
 XXSB/packages/flora2/flrwrapper.O
 XXSB/packages/flora2/flrwraparound.O
 XXSB/packages/flora2/flrundefhook.O
 XXSB/packages/flora2/flrshell.O
 XXSB/packages/flora2/.cvsignore
 XXSB/packages/flora2/CompileChangedFiles.sh
 XXSB/packages/flora2/Makefile
 XXSB/packages/flora2/NMakefile.mak
 XXSB/packages/flora2/flrarguments.H
 XXSB/packages/flora2/flrarguments.P
 XXSB/packages/flora2/flrcoder.H
 XXSB/packages/flora2/flrcoder.P
 XXSB/packages/flora2/flrcompiler.H
 XXSB/packages/flora2/flrcompiler.P
 XXSB/packages/flora2/flrcomposer.H
 XXSB/packages/flora2/flrcomposer.P
 XXSB/packages/flora2/flrfirstorder.H
 XXSB/packages/flora2/flrfirstorder.P
 XXSB/packages/flora2/flrlexer.H
 XXSB/packages/flora/lib/CVS/Root
 XXSB/packages/flora/lib/CVS/Repository
 XXSB/packages/flora/lib/CVS/Entries
 XXSB/packages/flora/lib/CVS/Tag
 XXSB/packages/flora/lib/.cvsignore
 XXSB/packages/flora/lib/Makefile
 XXSB/packages/flora/lib/flrprettyprint.flr
 XXSB/packages/flora/closure/CVS/Root
 XXSB/packages/flora/closure/CVS/Repository
 XXSB/packages/flora/closure/CVS/Entries
 XXSB/packages/flora/closure/CVS/Tag
 XXSB/packages/flora/closure/.cvsignore
 XXSB/packages/flora/closure/flrheader.P
 XXSB/packages/flora/closure/flrheader_dyn.P
 XXSB/packages/flora/closure/flrtrailer0.P
 XXSB/packages/flora/closure/flrtrailer0_dyn.P
 XXSB/packages/flora/closure/flrtrailer1.P
 XXSB/packages/flora/closure/flrtrailer1_dyn.P
 XXSB/packages/flora/CVS/Root
 XXSB/packages/flora/CVS/Repository
 XXSB/packages/flora/CVS/Entries
 XXSB/packages/flora/CVS/Tag
 XXSB/packages/flora/pkgs/CVS/Root
 XXSB/packages/flora/pkgs/CVS/Repository
 XXSB/packages/flora/pkgs/CVS/Entries
 XXSB/packages/flora/pkgs/CVS/Tag
 XXSB/packages/flora/pkgs/.cvsignore
 XXSB/packages/flora/pkgs/Makefile
 XXSB/packages/flora/p2h/CVS/Root
 XXSB/packages/flora/p2h/CVS/Repository
 XXSB/packages/flora/p2h/CVS/Entries
 XXSB/packages/flora/p2h/CVS/Tag
 XXSB/packages/flora/p2h/.cvsignore
 XXSB/packages/flora/p2h/p2h_config.P
 XXSB/packages/flora/p2h/prolog2hilog.H
 XXSB/packages/flora/p2h/prolog2hilog.c
 XXSB/packages/flora/demos/CVS/Root
 XXSB/packages/flora/demos/CVS/Repository
 XXSB/packages/flora/demos/CVS/Entries
 XXSB/packages/flora/demos/CVS/Tag
 XXSB/packages/flora/demos/.cvsignore
 XXSB/packages/flora/demos/aggregate.flr
 XXSB/packages/flora/demos/benchmark.flr
 XXSB/packages/flora/demos/default.flr
 XXSB/packages/flora/demos/dynmod.flr
 XXSB/packages/flora/demos/family_obj.flr
 XXSB/packages/flora/demos/family_rel.flr
 XXSB/packages/flora/demos/flogic_basics.flr
 XXSB/packages/flora/demos/metavar.flr
 XXSB/packages/flora/demos/mix.flr
 XXSB/packages/flora/demos/module1.flr
 XXSB/packages/flora/demos/module2.flr
 XXSB/packages/flora/demos/mon_inherit.flr
 XXSB/packages/flora/demos/nonmon_inherit.flr
 XXSB/packages/flora/demos/rel_ops.flr
 XXSB/packages/flora/demos/static.flr
 XXSB/packages/flora/demos/tree_traversal.flr
 XXSB/packages/flora/includes/CVS/Root
 XXSB/packages/flora/includes/CVS/Repository
 XXSB/packages/flora/includes/CVS/Entries
 XXSB/packages/flora/includes/CVS/Tag
 XXSB/packages/flora/includes/flora_prefix.h
 XXSB/packages/flora/includes/flora_trailer.h
 XXSB/packages/flora/includes/flora_trailer_eq.h
 XXSB/packages/flora/includes/flora_trailer_eq_new.h
 XXSB/packages/flora/includes/flora_trailer_new.h
 XXSB/packages/flora/homepage/CVS/Root
 XXSB/packages/flora/homepage/CVS/Repository
 XXSB/packages/flora/homepage/CVS/Entries
 XXSB/packages/flora/homepage/CVS/Tag
 XXSB/packages/flora/homepage/.counter.png
 XXSB/packages/flora/homepage/index.html
 XXSB/packages/flora/homepage/index.php
 XXSB/packages/flora/emacs/CVS/Root
 XXSB/packages/flora/emacs/CVS/Repository
 XXSB/packages/flora/emacs/CVS/Entries
 XXSB/packages/flora/emacs/CVS/Tag
 XXSB/packages/flora/emacs/.cvsignore
 XXSB/packages/flora/emacs/README
 XXSB/packages/flora/emacs/flora.el
 XXSB/packages/flora/docs/CVS/Root
 XXSB/packages/flora/docs/CVS/Repository
 XXSB/packages/flora/docs/CVS/Entries
 XXSB/packages/flora/docs/CVS/Tag
 XXSB/packages/flora/docs/.cvsignore
 XXSB/packages/flora/docs/flora.tex
 XXSB/packages/flora/docs/makeman
 XXSB/packages/flora/syslib/CVS/Root
 XXSB/packages/flora/syslib/CVS/Repository
 XXSB/packages/flora/syslib/CVS/Entries
 XXSB/packages/flora/syslib/CVS/Tag
 XXSB/packages/flora/syslib/.cvsignore
 XXSB/packages/flora/syslib/Makefile
 XXSB/packages/flora/syslib/flraggregate.P
 XXSB/packages/flora/syslib/flraggregate_dyn.P
 XXSB/packages/flora/syslib/flrassert.P
 XXSB/packages/flora/syslib/flrassert_dyn.P
 XXSB/packages/flora/syslib/flrdebug_data.P
 XXSB/packages/flora/syslib/flrdebugger.P
 XXSB/packages/flora/syslib/flrdisplay.P
 XXSB/packages/flora/.cvsignore
 XXSB/packages/flora/flrtokens.P
 XXSB/packages/flora/flrutils.H
 XXSB/packages/flora/flrutils.P
 XXSB/packages/flora/flrshell.P
 XXSB/packages/flora/flrshell.H
 XXSB/packages/flora/flrparser.P
 XXSB/packages/flora/flrparser.H
 XXSB/packages/flora/flrcompiler.P
 XXSB/packages/flora/flrcompiler.H
 XXSB/packages/flora/TODO.txt
 XXSB/packages/flora/Makefile
 XXSB/packages/flora/flrtokens.H
 XXSB/packages/gap/CVS/Root
 XXSB/packages/gap/CVS/Repository
 XXSB/packages/gap/CVS/Entries
 XXSB/packages/gap/CVS/Tag
 XXSB/packages/gap/.cvsignore
 XXSB/packages/gap/Makefile
 XXSB/packages/gap/README
 XXSB/packages/gap/gapaux.P
 XXSB/packages/gap/gapexamps.P
 XXSB/packages/gap/gapmeta.P
 XXSB/packages/gap/gapmeta.O
 XXSB/packages/xmc.O
 XXSB/packages/xmc.H
 XXSB/packages/xmc.P
 XXSB/packages/xsbdoc.P
 XXSB/packages/slx.P
 XXSB/packages/sModels.P
 XXSB/packages/regmatch.P
 XXSB/packages/perlmatch.P
 XXSB/packages/libwww.P
 XXSB/packages/gap.P
 XXSB/packages/flora2.P
 XXSB/packages/flora.P
 XXSB/packages/clpr.P
 XXSB/packages/README
 XXSB/packages/Makefile
 XXSB/packages/slx.O
 XXSB/packages/.cvsignore
 XXSB/packages/flora2.O
 XXSB/packages/perlmatch.O
 XXSB/packages/gap.O
 XXSB/packages/regmatch.O
 XXSB/packages/wildmatch.O
 XXSB/packages/sModels.O
 XXSB/packages/libwww.O
 XXSB/packages/clpr.O
 XXSB/packages/xsbdoc.O
 XXSB/packages/wildmatch.P
 XXSB/prolog_includes/CVS/Root
 XXSB/prolog_includes/CVS/Repository
 XXSB/prolog_includes/CVS/Entries
 XXSB/prolog_includes/CVS/Tag
 XXSB/prolog_includes/char_defs.h
 XXSB/prolog_includes/flora2.Ph
 XXSB/prolog_includes/http_errors.h
 XXSB/prolog_includes/standard.h
 XXSB/build/.xsb_lib_warn.tmp
 XXSB/build/aclocal.m4
 XXSB/build/MSVC_mkfile.in
 XXSB/build/banner.in
 XXSB/build/configure.in
 XXSB/build/def_config.in
 XXSB/build/def_config_mnoc.in
 XXSB/build/def_config_wind.in
 XXSB/build/def_debug.in
 XXSB/build/def_prolog_config.in
 XXSB/build/emuMakefile.in
 XXSB/build/gppMakefile.in
 XXSB/build/makexsb.in
 XXSB/build/modMakefile.in
 XXSB/build/private_builtin.in
 XXSB/build/smoMakefile.in
 XXSB/build/topMakefile.in
 XXSB/build/wxsb.in
 XXSB/build/xmc-gui.in
 XXSB/build/xmc.in
 XXSB/build/xsb.in
 XXSB/build/xsb_configuration.in
 XXSB/build/xsb_configuration_wind.in
 XXSB/build/config.guess
 XXSB/build/config.sub
 XXSB/build/MSVC.sh
 XXSB/build/clean_pkgs.sh
 XXSB/build/copysubdirs.sh
 XXSB/build/install-sh
 XXSB/build/pkg_config.sh
 XXSB/build/register.sh
 XXSB/build/strip.sh
 XXSB/build/touch.sh
 XXSB/build/version.sh
 XXSB/build/registration.msg
 XXSB/build/sendlog.msg
 XXSB/build/configure
 XXSB/build/README
 XXSB/build/configure.orig
 XXSB/build/configure.in.orig
 XXSB/build/makexsb.in.orig
 XXSB/build/topMakefile.in.orig
 XXSB/build/config.log
 XXSB/build/.apkgs.tmp
 XXSB/build/config.status
 XXSB/build/makexsb
 XXSB/build/Installation_summary
 XXSB/build/.xsb_cmplib_warn.tmp
 XXSB/build/.xsb_syslib_warn.tmp
 XXSB/build/acconfig.h
 XXSB/emu/dde/CVS/Root
 XXSB/emu/dde/CVS/Repository
 XXSB/emu/dde/CVS/Entries
 XXSB/emu/dde/CVS/Tag
 XXSB/emu/dde/ddemain_xsb.c
 XXSB/emu/CVS/Root
 XXSB/emu/CVS/Repository
 XXSB/emu/CVS/Entries
 XXSB/emu/CVS/Tag
 XXSB/emu/debugs/CVS/Root
 XXSB/emu/debugs/CVS/Repository
 XXSB/emu/debugs/CVS/Entries
 XXSB/emu/debugs/CVS/Tag
 XXSB/emu/debugs/.cvsignore
 XXSB/emu/debugs/README
 XXSB/emu/debugs/debug_attv.h
 XXSB/emu/debugs/debug_biassert.h
 XXSB/emu/debugs/debug_delay.h
 XXSB/emu/debugs/debug_residual.h
 XXSB/emu/debugs/debug_tables.h
 XXSB/emu/debugs/debug_tries.h
 XXSB/emu/orastuff/CVS/Root
 XXSB/emu/orastuff/CVS/Repository
 XXSB/emu/orastuff/CVS/Entries
 XXSB/emu/orastuff/CVS/Tag
 XXSB/emu/orastuff/close_xsb_i.h
 XXSB/emu/orastuff/desc_bv_xsb_i.h
 XXSB/emu/orastuff/fetch_xsb_i.h
 XXSB/emu/orastuff/open_xsb_i.h
 XXSB/emu/orastuff/prepdecl_xsb_i.h
 XXSB/emu/orastuff/desc_sli_xsb_i.h
 XXSB/emu/auxlry.c
 XXSB/emu/auxlry.h
 XXSB/emu/basicdefs.h
 XXSB/emu/basictypes.h
 XXSB/emu/biassert.c
 XXSB/emu/binding.h
 XXSB/emu/bineg_xsb_i.h
 XXSB/emu/builtin.c
 XXSB/emu/builtin.h
 XXSB/emu/call_xsb_i.h
 XXSB/emu/cell_def_xsb.h
 XXSB/emu/cell_xsb.h
 XXSB/emu/celltags_xsb.h
 XXSB/emu/chat.c
 XXSB/emu/chat.h
 XXSB/emu/chatsched_xsb_i.h
 XXSB/emu/choice.h
 XXSB/emu/cinterf.c
 XXSB/emu/cinterf.h
 XXSB/emu/complete_xsb_i.h
 XXSB/emu/conget_xsb_i.h
 XXSB/emu/cut_xsb.h
 XXSB/emu/debug_xsb.c
 XXSB/emu/deref.h
 XXSB/emu/dis.c
 XXSB/emu/dllinit_xsb.cc
 XXSB/emu/dynamic_stack.c
 XXSB/emu/dynamic_stack.h
 XXSB/emu/dynaout_xsb_i.h
 XXSB/emu/dynelf_xsb_i.h
 XXSB/emu/dynload.c
 XXSB/emu/dynload.h
 XXSB/emu/dynwin32_xsb_i.h
 XXSB/emu/emudef.h
 XXSB/emu/emuloop.c
 XXSB/emu/emuloop.h
 XXSB/emu/emuloop_aux.h
 XXSB/emu/error_xsb.c
 XXSB/emu/error_xsb.h
 XXSB/emu/export.h
 XXSB/emu/file_modes_xsb.h
 XXSB/emu/findall.c
 XXSB/emu/findall.h
 XXSB/emu/proc.mk
 XXSB/emu/flag_defs_xsb.h
 XXSB/emu/flags_xsb.h
 XXSB/emu/function.c
 XXSB/emu/hash_xsb.c
 XXSB/emu/hash_xsb.h
 XXSB/emu/heap_defs_xsb.h
 XXSB/emu/heap_xsb.c
 XXSB/emu/heap_xsb.h
 XXSB/emu/init_xsb.c
 XXSB/emu/inst_xsb.c
 XXSB/emu/inst_xsb.h
 XXSB/emu/io_builtins_xsb.c
 XXSB/emu/io_builtins_xsb.h
 XXSB/emu/io_builtins_xsb_i.h
 XXSB/emu/io_defs_xsb.h
 XXSB/emu/loader_xsb.c
 XXSB/emu/loader_xsb.h
 XXSB/emu/macro_xsb.h
 XXSB/emu/main_xsb.c
 XXSB/emu/memory_xsb.c
 XXSB/emu/memory_xsb.h
 XXSB/emu/odbc_xsb.c
 XXSB/emu/odbc_xsb.h
 XXSB/emu/odbc_string.h
 XXSB/emu/odbc_xsb_i.h
 XXSB/emu/oracle_xsb.h
 XXSB/emu/oracle_xsb_i.h
 XXSB/emu/orastuff.h
 XXSB/emu/orastuff.pc
 XXSB/emu/orient_xsb.c
 XXSB/emu/orient_xsb.h
 XXSB/emu/pathname_xsb.c
 XXSB/emu/private_builtin.c
 XXSB/emu/psc_defs.h
 XXSB/emu/psc_xsb.c
 XXSB/emu/psc_xsb.h
 XXSB/emu/ptoc_tag_xsb_i.h
 XXSB/emu/random_xsb.c
 XXSB/emu/random_xsb.h
 XXSB/emu/realloc.h
 XXSB/emu/register.h
 XXSB/emu/residual.c
 XXSB/emu/residual.h
 XXSB/emu/scc_xsb.c
 XXSB/emu/scc_xsb.h
 XXSB/emu/sig_xsb.h
 XXSB/emu/schedrev_xsb_i.h
 XXSB/emu/setjmp_xsb.h
 XXSB/emu/slgdelay.c
 XXSB/emu/slgdelay.h
 XXSB/emu/slginsts_xsb_i.h
 XXSB/emu/socket_defs_xsb.h
 XXSB/emu/socket_xsb.c
 XXSB/emu/socket_xsb.h
 XXSB/emu/sp_unify_xsb_i.h
 XXSB/emu/sql.h
 XXSB/emu/sqlext.h
 XXSB/emu/sqltypes.h
 XXSB/emu/std_cases_xsb_i.h
 XXSB/emu/std_pred_xsb_i.h
 XXSB/emu/string_xsb.c
 XXSB/emu/struct_manager.c
 XXSB/emu/struct_manager.h
 XXSB/emu/sub_delete.c
 XXSB/emu/sub_tables_xsb_i.h
 XXSB/emu/subinst.h
 XXSB/emu/subp.c
 XXSB/emu/subp.h
 XXSB/emu/sw_envs.h
 XXSB/emu/syscall_xsb.h
 XXSB/emu/system_defs_xsb.h
 XXSB/emu/system_xsb.c
 XXSB/emu/system_xsb.h
 XXSB/emu/table_stats.c
 XXSB/emu/table_stats.h
 XXSB/emu/table_status_defs.h
 XXSB/emu/tables.c
 XXSB/emu/tables.h
 XXSB/emu/tc_insts_xsb_i.h
 XXSB/emu/term_psc_xsb_i.h
 XXSB/emu/timer_defs_xsb.h
 XXSB/emu/timer_xsb.c
 XXSB/emu/timer_xsb.h
 XXSB/emu/token_defs_xsb.h
 XXSB/emu/token_xsb.c
 XXSB/emu/token_xsb.h
 XXSB/emu/tr_code_xsb_i.h
 XXSB/emu/tr_delay.h
 XXSB/emu/tr_utils.c
 XXSB/emu/tr_utils.h
 XXSB/emu/trace_xsb.c
 XXSB/emu/trassert.h
 XXSB/emu/trie_internals.h
 XXSB/emu/trie_lookup.c
 XXSB/emu/tries.c
 XXSB/emu/tries.h
 XXSB/emu/tst_aux.h
 XXSB/emu/tst_insert.c
 XXSB/emu/tst_retrv.c
 XXSB/emu/tst_unify.c
 XXSB/emu/tst_utils.c
 XXSB/emu/tst_utils.h
 XXSB/emu/unify_xsb.h
 XXSB/emu/unify_xsb_i.h
 XXSB/emu/varstring.c
 XXSB/emu/varstring_xsb.h
 XXSB/emu/wfs_xsb_i.h
 XXSB/emu/wind2unix.h
 XXSB/emu/wsipx.h
 XXSB/emu/xsb.def
 XXSB/emu/xsb_time.h
 XXSB/emu/xsb_inst_list.h
 XXSB/emu/trie_search.c
 XXSB/emu/README
 XXSB/emu/.cvsignore
 XXSB/emu/CODING_GUIDELINES
 XXSB/syslib/objfiles.saved/xcallxsb.O
 XXSB/syslib/objfiles.saved/atts.O
 XXSB/syslib/objfiles.saved/basics.O
 XXSB/syslib/objfiles.saved/consult.O
 XXSB/syslib/objfiles.saved/curr_sym.O
 XXSB/syslib/objfiles.saved/dbclause.O
 XXSB/syslib/objfiles.saved/dcg.O
 XXSB/syslib/objfiles.saved/debugger.O
 XXSB/syslib/objfiles.saved/domain.O
 XXSB/syslib/objfiles.saved/eval.O
 XXSB/syslib/objfiles.saved/file_io.O
 XXSB/syslib/objfiles.saved/file_op.O
 XXSB/syslib/objfiles.saved/gensym.O
 XXSB/syslib/objfiles.saved/hilogsym.O
 XXSB/syslib/objfiles.saved/num_vars.O
 XXSB/syslib/objfiles.saved/push_io.O
 XXSB/syslib/objfiles.saved/setof.O
 XXSB/syslib/objfiles.saved/shell.O
 XXSB/syslib/objfiles.saved/subsumes.O
 XXSB/syslib/objfiles.saved/sysinitrc.O
 XXSB/syslib/objfiles.saved/tables.O
 XXSB/syslib/objfiles.saved/term_exp.O
 XXSB/syslib/objfiles.saved/unix.O
 XXSB/syslib/objfiles.saved/x_interp.O
 XXSB/syslib/objfiles.saved/xsb_hook.O
 XXSB/syslib/objfiles.saved/xsb_read.O
 XXSB/syslib/objfiles.saved/xsb_writ.O
 XXSB/syslib/objfiles.saved/assert.O
 XXSB/syslib/CVS/Root
 XXSB/syslib/CVS/Repository
 XXSB/syslib/CVS/Entries
 XXSB/syslib/CVS/Tag
 XXSB/syslib/CompileChangedFiles.sh
 XXSB/syslib/Makefile
 XXSB/syslib/README
 XXSB/syslib/assert.H
 XXSB/syslib/assert.O
 XXSB/syslib/assert.P
 XXSB/syslib/atts.O
 XXSB/syslib/atts.P
 XXSB/syslib/basics.H
 XXSB/syslib/basics.O
 XXSB/syslib/basics.P
 XXSB/syslib/consult.H
 XXSB/syslib/consult.O
 XXSB/syslib/consult.P
 XXSB/syslib/curr_sym.H
 XXSB/syslib/curr_sym.O
 XXSB/syslib/curr_sym.P
 XXSB/syslib/dbclause.H
 XXSB/syslib/dbclause.O
 XXSB/syslib/dbclause.P
 XXSB/syslib/dcg.H
 XXSB/syslib/dcg.O
 XXSB/syslib/dcg.P
 XXSB/syslib/debugger.H
 XXSB/syslib/debugger.O
 XXSB/syslib/debugger.P
 XXSB/syslib/debugger_data.P
 XXSB/syslib/domain.H
 XXSB/syslib/domain.O
 XXSB/syslib/domain.P
 XXSB/syslib/eval.H
 XXSB/syslib/eval.O
 XXSB/syslib/eval.P
 XXSB/syslib/file_io.H
 XXSB/syslib/file_io.O
 XXSB/syslib/file_io.P
 XXSB/syslib/file_op.H
 XXSB/syslib/file_op.O
 XXSB/syslib/file_op.P
 XXSB/syslib/gensym.H
 XXSB/syslib/gensym.O
 XXSB/syslib/gensym.P
 XXSB/syslib/hilogsym.H
 XXSB/syslib/hilogsym.O
 XXSB/syslib/hilogsym.P
 XXSB/syslib/loader.H
 XXSB/syslib/loader.O
 XXSB/syslib/loader.P
 XXSB/syslib/machine.H
 XXSB/syslib/machine.O
 XXSB/syslib/machine.P
 XXSB/syslib/num_vars.H
 XXSB/syslib/num_vars.O
 XXSB/syslib/num_vars.P
 XXSB/syslib/push_io.H
 XXSB/syslib/push_io.O
 XXSB/syslib/push_io.P
 XXSB/syslib/setof.H
 XXSB/syslib/setof.O
 XXSB/syslib/setof.P
 XXSB/syslib/shell.H
 XXSB/syslib/shell.O
 XXSB/syslib/shell.P
 XXSB/syslib/standard.H
 XXSB/syslib/standard.O
 XXSB/syslib/standard.P
 XXSB/syslib/std_xsb.H
 XXSB/syslib/std_xsb.O
 XXSB/syslib/std_xsb.P
 XXSB/syslib/string.H
 XXSB/syslib/string.O
 XXSB/syslib/string.P
 XXSB/syslib/subsumes.H
 XXSB/syslib/subsumes.O
 XXSB/syslib/unix.O
 XXSB/syslib/subsumes.P
 XXSB/syslib/sysinitrc.O
 XXSB/syslib/sysinitrc.P
 XXSB/syslib/tables.H
 XXSB/syslib/tables.O
 XXSB/syslib/tables.P
 XXSB/syslib/term_exp.H
 XXSB/syslib/term_exp.O
 XXSB/syslib/term_exp.P
 XXSB/syslib/unix.P
 XXSB/syslib/x_interp.H
 XXSB/syslib/x_interp.O
 XXSB/syslib/x_interp.P
 XXSB/syslib/xcallxsb.H
 XXSB/syslib/xcallxsb.O
 XXSB/syslib/xcallxsb.P
 XXSB/syslib/xsb_hook.H
 XXSB/syslib/xsb_hook.O
 XXSB/syslib/xsb_hook.P
 XXSB/syslib/xsb_read.H
 XXSB/syslib/xsb_read.O
 XXSB/syslib/xsb_read.P
 XXSB/syslib/xsb_writ.H
 XXSB/syslib/xsb_writ.O
 XXSB/syslib/xsb_writ.P
 XXSB/syslib/.cvsignore
 XXSB/cmplib/objfiles.saved/writeasm.O
 XXSB/cmplib/objfiles.saved/asm_inst.O
 XXSB/cmplib/objfiles.saved/asm_opt.O
 XXSB/cmplib/objfiles.saved/asmpass2.O
 XXSB/cmplib/objfiles.saved/auxlry.O
 XXSB/cmplib/objfiles.saved/compile.O
 XXSB/cmplib/objfiles.saved/config.O
 XXSB/cmplib/objfiles.saved/cp_opt.O
 XXSB/cmplib/objfiles.saved/cutcheck.O
 XXSB/cmplib/objfiles.saved/flatten.O
 XXSB/cmplib/objfiles.saved/inprog.O
 XXSB/cmplib/objfiles.saved/listutil.O
 XXSB/cmplib/objfiles.saved/makemode.O
 XXSB/cmplib/objfiles.saved/modeinf.O
 XXSB/cmplib/objfiles.saved/modes.O
 XXSB/cmplib/objfiles.saved/parse.O
 XXSB/cmplib/objfiles.saved/peephole.O
 XXSB/cmplib/objfiles.saved/pre_cond.O
 XXSB/cmplib/objfiles.saved/preproc.O
 XXSB/cmplib/objfiles.saved/printres.O
 XXSB/cmplib/objfiles.saved/prof_sbp.O
 XXSB/cmplib/objfiles.saved/sanity.O
 XXSB/cmplib/objfiles.saved/singlton.O
 XXSB/cmplib/objfiles.saved/spec.O
 XXSB/cmplib/objfiles.saved/suppltab.O
 XXSB/cmplib/objfiles.saved/symtab.O
 XXSB/cmplib/objfiles.saved/tabdef.O
 XXSB/cmplib/objfiles.saved/ti_mod.O
 XXSB/cmplib/objfiles.saved/tp_comp.O
 XXSB/cmplib/objfiles.saved/tp_cond.O
 XXSB/cmplib/objfiles.saved/tp_eval.O
 XXSB/cmplib/objfiles.saved/tp_goal.O
 XXSB/cmplib/objfiles.saved/tp_index.O
 XXSB/cmplib/objfiles.saved/tp_var.O
 XXSB/cmplib/objfiles.saved/tpinline.O
 XXSB/cmplib/objfiles.saved/tprog.O
 XXSB/cmplib/objfiles.saved/useinfer.O
 XXSB/cmplib/objfiles.saved/varproc.O
 XXSB/cmplib/objfiles.saved/asm.O
 XXSB/cmplib/CVS/Root
 XXSB/cmplib/CVS/Repository
 XXSB/cmplib/CVS/Entries
 XXSB/cmplib/CVS/Tag
 XXSB/cmplib/Makefile
 XXSB/cmplib/README
 XXSB/cmplib/asm.D
 XXSB/cmplib/asm.H
 XXSB/cmplib/asm.O
 XXSB/cmplib/asm.P
 XXSB/cmplib/asm_inst.D
 XXSB/cmplib/asm_inst.H
 XXSB/cmplib/asm_inst.O
 XXSB/cmplib/asm_inst.P
 XXSB/cmplib/asm_opt.D
 XXSB/cmplib/asm_opt.H
 XXSB/cmplib/asm_opt.O
 XXSB/cmplib/asm_opt.P
 XXSB/cmplib/asmpass2.D
 XXSB/cmplib/asmpass2.H
 XXSB/cmplib/asmpass2.O
 XXSB/cmplib/asmpass2.P
 XXSB/cmplib/auxlry.D
 XXSB/cmplib/auxlry.H
 XXSB/cmplib/auxlry.O
 XXSB/cmplib/auxlry.P
 XXSB/cmplib/builtin.D
 XXSB/cmplib/builtin.H
 XXSB/cmplib/builtin.O
 XXSB/cmplib/builtin.P
 XXSB/cmplib/ciao_directives.O
 XXSB/cmplib/ciao_directives.P
 XXSB/cmplib/compile.D
 XXSB/cmplib/compile.H
 XXSB/cmplib/compile.O
 XXSB/cmplib/compile.P
 XXSB/cmplib/config.D
 XXSB/cmplib/config.H
 XXSB/cmplib/config.O
 XXSB/cmplib/config.P
 XXSB/cmplib/cp_opt.D
 XXSB/cmplib/cp_opt.H
 XXSB/cmplib/cp_opt.O
 XXSB/cmplib/cp_opt.P
 XXSB/cmplib/cutcheck.D
 XXSB/cmplib/cutcheck.H
 XXSB/cmplib/cutcheck.O
 XXSB/cmplib/cutcheck.P
 XXSB/cmplib/flatten.D
 XXSB/cmplib/flatten.H
 XXSB/cmplib/modes.D
 XXSB/cmplib/flatten.O
 XXSB/cmplib/flatten.P
 XXSB/cmplib/inprog.D
 XXSB/cmplib/inprog.H
 XXSB/cmplib/inprog.O
 XXSB/cmplib/inprog.P
 XXSB/cmplib/listutil.D
 XXSB/cmplib/listutil.H
 XXSB/cmplib/listutil.O
 XXSB/cmplib/listutil.P
 XXSB/cmplib/makemode.D
 XXSB/cmplib/makemode.O
 XXSB/cmplib/makemode.P
 XXSB/cmplib/modeinf.D
 XXSB/cmplib/modeinf.H
 XXSB/cmplib/modeinf.O
 XXSB/cmplib/modeinf.P
 XXSB/cmplib/modes.H
 XXSB/cmplib/modes.O
 XXSB/cmplib/modes.P
 XXSB/cmplib/parse.D
 XXSB/cmplib/parse.H
 XXSB/cmplib/parse.O
 XXSB/cmplib/parse.P
 XXSB/cmplib/peephole.D
 XXSB/cmplib/peephole.H
 XXSB/cmplib/peephole.O
 XXSB/cmplib/peephole.P
 XXSB/cmplib/pre_cond.D
 XXSB/cmplib/pre_cond.H
 XXSB/cmplib/pre_cond.O
 XXSB/cmplib/pre_cond.P
 XXSB/cmplib/preproc.D
 XXSB/cmplib/preproc.H
 XXSB/cmplib/preproc.O
 XXSB/cmplib/preproc.P
 XXSB/cmplib/printres.D
 XXSB/cmplib/printres.H
 XXSB/cmplib/printres.O
 XXSB/cmplib/printres.P
 XXSB/cmplib/prof_sbp.D
 XXSB/cmplib/prof_sbp.H
 XXSB/cmplib/prof_sbp.O
 XXSB/cmplib/prof_sbp.P
 XXSB/cmplib/sanity.D
 XXSB/cmplib/sanity.H
 XXSB/cmplib/sanity.O
 XXSB/cmplib/sanity.P
 XXSB/cmplib/singlton.D
 XXSB/cmplib/singlton.H
 XXSB/cmplib/singlton.O
 XXSB/cmplib/singlton.P
 XXSB/cmplib/spec.D
 XXSB/cmplib/spec.H
 XXSB/cmplib/spec.O
 XXSB/cmplib/spec.P
 XXSB/cmplib/stdmode.D
 XXSB/cmplib/stdmodes.D
 XXSB/cmplib/suppltab.D
 XXSB/cmplib/suppltab.H
 XXSB/cmplib/suppltab.O
 XXSB/cmplib/suppltab.P
 XXSB/cmplib/symtab.D
 XXSB/cmplib/symtab.H
 XXSB/cmplib/symtab.O
 XXSB/cmplib/symtab.P
 XXSB/cmplib/tabdef.D
 XXSB/cmplib/tabdef.H
 XXSB/cmplib/tabdef.O
 XXSB/cmplib/tabdef.P
 XXSB/cmplib/ti_mod.H
 XXSB/cmplib/ti_mod.O
 XXSB/cmplib/ti_mod.P
 XXSB/cmplib/tp_comp.D
 XXSB/cmplib/tp_comp.H
 XXSB/cmplib/tp_comp.O
 XXSB/cmplib/tp_comp.P
 XXSB/cmplib/tp_cond.D
 XXSB/cmplib/tp_cond.H
 XXSB/cmplib/tp_cond.O
 XXSB/cmplib/tp_cond.P
 XXSB/cmplib/tp_eval.D
 XXSB/cmplib/tp_eval.H
 XXSB/cmplib/tp_eval.O
 XXSB/cmplib/tp_eval.P
 XXSB/cmplib/tp_goal.D
 XXSB/cmplib/tp_goal.H
 XXSB/cmplib/tp_goal.O
 XXSB/cmplib/tp_goal.P
 XXSB/cmplib/tp_index.D
 XXSB/cmplib/tp_index.H
 XXSB/cmplib/tp_index.O
 XXSB/cmplib/tp_index.P
 XXSB/cmplib/tp_var.D
 XXSB/cmplib/tp_var.H
 XXSB/cmplib/tp_var.O
 XXSB/cmplib/tp_var.P
 XXSB/cmplib/tpinline.D
 XXSB/cmplib/tpinline.H
 XXSB/cmplib/tpinline.O
 XXSB/cmplib/tpinline.P
 XXSB/cmplib/tprog.D
 XXSB/cmplib/tprog.H
 XXSB/cmplib/tprog.O
 XXSB/cmplib/tprog.P
 XXSB/cmplib/useinfer.D
 XXSB/cmplib/useinfer.H
 XXSB/cmplib/useinfer.O
 XXSB/cmplib/useinfer.P
 XXSB/cmplib/varproc.D
 XXSB/cmplib/varproc.H
 XXSB/cmplib/varproc.O
 XXSB/cmplib/varproc.P
 XXSB/cmplib/writeasm.D
 XXSB/cmplib/writeasm.H
 XXSB/cmplib/writeasm.O
 XXSB/cmplib/writeasm.P
 XXSB/cmplib/.cvsignore
 XXSB/lib/CVS/Root
 XXSB/lib/CVS/Repository
 XXSB/lib/CVS/Entries
 XXSB/lib/CVS/Tag
 XXSB/lib/packaging.O
 XXSB/lib/.cvsignore
 XXSB/lib/Makefile
 XXSB/lib/README
 XXSB/lib/aggregs.H
 XXSB/lib/aggregs.P
 XXSB/lib/array.P
 XXSB/lib/array1.P
 XXSB/lib/assoc_xsb.P
 XXSB/lib/basic_props.P
 XXSB/lib/directry.P
 XXSB/lib/foreign.H
 XXSB/lib/foreign.P
 XXSB/lib/format.P
 XXSB/lib/intern.H
 XXSB/lib/intern.P
 XXSB/lib/justifyLP.H
 XXSB/lib/justifyLP.P
 XXSB/lib/obsolete.H
 XXSB/lib/obsolete.P
 XXSB/lib/odbc_call.H
 XXSB/lib/odbc_call.P
 XXSB/lib/ora_call.H
 XXSB/lib/ora_call.P
 XXSB/lib/ordsets.P
 XXSB/lib/packaging.H
 XXSB/lib/packaging.P
 XXSB/lib/random.H
 XXSB/lib/random.P
 XXSB/lib/scrptutl.H
 XXSB/lib/scrptutl.P
 XXSB/lib/socket.H
 XXSB/lib/socket.P
 XXSB/lib/storage.H
 XXSB/lib/storage.P
 XXSB/lib/ugraphs.P
 XXSB/lib/wrapping.H
 XXSB/lib/wrapping.P
 XXSB/lib/write_term.P
 XXSB/lib/xnmr.H
 XXSB/lib/xnmr.P
 XXSB/lib/xsb_ciao.P
 XXSB/lib/aggregs.O
 XXSB/lib/array.O
 XXSB/lib/array1.O
 XXSB/lib/assoc_xsb.O
 XXSB/lib/basic_props.O
 XXSB/lib/directry.O
 XXSB/lib/foreign.O
 XXSB/lib/xnmr.O
 XXSB/lib/format.O
 XXSB/lib/intern.O
 XXSB/lib/obsolete.O
 XXSB/lib/odbc_call.O
 XXSB/lib/ordsets.O
 XXSB/lib/ora_call.O
 XXSB/lib/random.O
 XXSB/lib/scrptutl.O
 XXSB/lib/socket.O
 XXSB/lib/storage.O
 XXSB/lib/ugraphs.O
 XXSB/lib/wrapping.O
 XXSB/lib/write_term.O
 XXSB/lib/xsb_ciao.O
 XXSB/lib/justifyLP.O
 XXSB/gpp/CVS/Root
 XXSB/gpp/CVS/Repository
 XXSB/gpp/CVS/Entries
 XXSB/gpp/CVS/Tag
 XXSB/gpp/.cvsignore
 XXSB/gpp/MSVC_mkfile.mak
 XXSB/gpp/gpp.c
 XXSB/LICENSE
 XXSB/FAQ
 XXSB/README
 XXSB/INSTALL_WINDOWS
 XXSB/Makefile.orig
 XXSB/INSTALL_PROBLEMS
 XXSB/INSTALL
 XXSB/Makefile
 X
 X@exec mkdir %D/XSB/site
 X@exec mkdir %D/XSB/site/lib
 X@exec mkdir %D/XSB/site/config
 X@exec mkdir %D/XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%
 X@exec mkdir %D/XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib
 X
 X@dirrm XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib
 X@dirrm XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%
 X@dirrm XSB/site/config
 X@dirrm XSB/site/lib
 X@dirrm XSB/site
 X@dirrm XSB/gpp/CVS
 X@dirrm XSB/gpp
 X@dirrm XSB/lib/CVS
 X@dirrm XSB/lib
 X@dirrm XSB/cmplib/CVS
 X@dirrm XSB/cmplib/objfiles.saved
 X@dirrm XSB/cmplib
 X@dirrm XSB/syslib/CVS
 X@dirrm XSB/syslib/objfiles.saved
 X@dirrm XSB/syslib
 X@dirrm XSB/emu/orastuff/CVS
 X@dirrm XSB/emu/orastuff
 X@dirrm XSB/emu/debugs/CVS
 X@dirrm XSB/emu/debugs
 X@dirrm XSB/emu/CVS
 X@dirrm XSB/emu/dde/CVS
 X@dirrm XSB/emu/dde
 X@dirrm XSB/emu
 X@dirrm XSB/build
 X@dirrm XSB/prolog_includes/CVS
 X@dirrm XSB/prolog_includes
 X@dirrm XSB/packages/gap/CVS
 X@dirrm XSB/packages/gap
 X@dirrm XSB/packages/flora/syslib/CVS
 X@dirrm XSB/packages/flora/syslib
 X@dirrm XSB/packages/flora/docs/CVS
 X@dirrm XSB/packages/flora/docs
 X@dirrm XSB/packages/flora/emacs/CVS
 X@dirrm XSB/packages/flora/emacs
 X@dirrm XSB/packages/flora/homepage/CVS
 X@dirrm XSB/packages/flora/homepage
 X@dirrm XSB/packages/flora/includes/CVS
 X@dirrm XSB/packages/flora/includes
 X@dirrm XSB/packages/flora/demos/CVS
 X@dirrm XSB/packages/flora/demos
 X@dirrm XSB/packages/flora/p2h/CVS
 X@dirrm XSB/packages/flora/p2h
 X@dirrm XSB/packages/flora/pkgs/CVS
 X@dirrm XSB/packages/flora/pkgs
 X@dirrm XSB/packages/flora/CVS
 X@dirrm XSB/packages/flora/closure/CVS
 X@dirrm XSB/packages/flora/closure
 X@dirrm XSB/packages/flora/lib/CVS
 X@dirrm XSB/packages/flora/lib
 X@dirrm XSB/packages/flora
 X@dirrm XSB/packages/flora2/CVS
 X@dirrm XSB/packages/flora2/demos/CVS
 X@dirrm XSB/packages/flora2/demos
 X@dirrm XSB/packages/flora2/trailer/CVS
 X@dirrm XSB/packages/flora2/trailer
 X@dirrm XSB/packages/flora2/syslibinc/CVS
 X@dirrm XSB/packages/flora2/syslibinc
 X@dirrm XSB/packages/flora2/syslib/CVS
 X@dirrm XSB/packages/flora2/syslib
 X@dirrm XSB/packages/flora2/pkgs/CVS
 X@dirrm XSB/packages/flora2/pkgs
 X@dirrm XSB/packages/flora2/p2h/CVS
 X@dirrm XSB/packages/flora2/p2h
 X@dirrm XSB/packages/flora2/libinc/CVS
 X@dirrm XSB/packages/flora2/libinc
 X@dirrm XSB/packages/flora2/closure/CVS
 X@dirrm XSB/packages/flora2/closure/includes/CVS
 X@dirrm XSB/packages/flora2/closure/includes
 X@dirrm XSB/packages/flora2/closure
 X@dirrm XSB/packages/flora2/includes/CVS
 X@dirrm XSB/packages/flora2/includes
 X@dirrm XSB/packages/flora2/headerinc/CVS
 X@dirrm XSB/packages/flora2/headerinc
 X@dirrm XSB/packages/flora2/genincludes/CVS
 X@dirrm XSB/packages/flora2/genincludes
 X@dirrm XSB/packages/flora2/flrincludes/CVS
 X@dirrm XSB/packages/flora2/flrincludes
 X@dirrm XSB/packages/flora2/emacs/CVS
 X@dirrm XSB/packages/flora2/emacs
 X@dirrm XSB/packages/flora2/docs/CVS
 X@dirrm XSB/packages/flora2/docs
 X@dirrm XSB/packages/flora2/debugger/CVS
 X@dirrm XSB/packages/flora2/debugger
 X@dirrm XSB/packages/flora2/lib/CVS
 X@dirrm XSB/packages/flora2/lib
 X@dirrm XSB/packages/flora2
 X@dirrm XSB/packages/CVS
 X@dirrm XSB/packages/libwww/CVS
 X@dirrm XSB/packages/libwww/cc/CVS
 X@dirrm XSB/packages/libwww/cc
 X@dirrm XSB/packages/libwww
 X@dirrm XSB/packages/perlmatch/CVS
 X@dirrm XSB/packages/perlmatch/cc/CVS
 X@dirrm XSB/packages/perlmatch/cc
 X@dirrm XSB/packages/perlmatch
 X@dirrm XSB/packages/clpqr/CVS
 X@dirrm XSB/packages/clpqr
 X@dirrm XSB/packages/sModels/CVS
 X@dirrm XSB/packages/sModels
 X@dirrm XSB/packages/slx/CVS
 X@dirrm XSB/packages/slx
 X@dirrm XSB/packages/wildmatch/cc/CVS
 X@dirrm XSB/packages/wildmatch/cc
 X@dirrm XSB/packages/wildmatch/CVS
 X@dirrm XSB/packages/wildmatch
 X@dirrm XSB/packages/xmc/CVS
 X@dirrm XSB/packages/xmc/GUI/CVS
 X@dirrm XSB/packages/xmc/GUI
 X@dirrm XSB/packages/xmc
 X@dirrm XSB/packages/xsbdoc/CVS
 X@dirrm XSB/packages/xsbdoc
 X@dirrm XSB/packages/regmatch/cc/CVS
 X@dirrm XSB/packages/regmatch/cc
 X@dirrm XSB/packages/regmatch/CVS
 X@dirrm XSB/packages/regmatch
 X@dirrm XSB/packages
 X@dirrm XSB/docs/userman
 X@dirrm XSB/docs
 X@dirrm XSB/examples/subprocess/CVS
 X@dirrm XSB/examples/subprocess
 X@dirrm XSB/examples/socket/CVS
 X@dirrm XSB/examples/socket/select/CVS
 X@dirrm XSB/examples/socket/select
 X@dirrm XSB/examples/socket
 X@dirrm XSB/examples/libwww/files/CVS
 X@dirrm XSB/examples/libwww/files
 X@dirrm XSB/examples/libwww/CVS
 X@dirrm XSB/examples/libwww
 X@dirrm XSB/examples/xmc/Tests/CVS
 X@dirrm XSB/examples/xmc/Tests
 X@dirrm XSB/examples/xmc/Leader/CVS
 X@dirrm XSB/examples/xmc/Leader
 X@dirrm XSB/examples/xmc/Metalock/CVS
 X@dirrm XSB/examples/xmc/Metalock
 X@dirrm XSB/examples/xmc/Rether/CVS
 X@dirrm XSB/examples/xmc/Rether
 X@dirrm XSB/examples/xmc/Iproto/CVS
 X@dirrm XSB/examples/xmc/Iproto
 X@dirrm XSB/examples/xmc/CVS
 X@dirrm XSB/examples/xmc/ABP/CVS
 X@dirrm XSB/examples/xmc/ABP
 X@dirrm XSB/examples/xmc/Sieve/CVS
 X@dirrm XSB/examples/xmc/Sieve
 X@dirrm XSB/examples/xmc
 X@dirrm XSB/examples/XSB_calling_c/CVS
 X@dirrm XSB/examples/XSB_calling_c
 X@dirrm XSB/examples/CVS
 X@dirrm XSB/examples/c_calling_XSB/CVS
 X@dirrm XSB/examples/c_calling_XSB
 X@dirrm XSB/examples
 X@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/bin
 X@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o
 X@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib
 X@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%
 X@dirrm XSB/config
 X@dirrm XSB/bin
 X@dirrm XSB/etc/images/CVS
 X@dirrm XSB/etc/images
 X@dirrm XSB/etc/CVS
 X@dirrm XSB/etc
 X@dirrm XSB
 X
 END-of-/usr/ports/lang/xsb/pkg-plist
 exit

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?200108011950.f71Jo1H29135>