summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lang/xsb/Makefile19
-rw-r--r--lang/xsb/distinfo2
-rw-r--r--lang/xsb/files/patch-aa28
-rw-r--r--lang/xsb/files/patch-ab28
-rw-r--r--lang/xsb/files/patch-ac4
-rw-r--r--lang/xsb/files/patch-ad27
-rw-r--r--lang/xsb/files/patch-ae4
-rw-r--r--lang/xsb/files/patch-af35
-rw-r--r--lang/xsb/files/patch-ag20
-rw-r--r--lang/xsb/pkg-plist793
10 files changed, 443 insertions, 517 deletions
diff --git a/lang/xsb/Makefile b/lang/xsb/Makefile
index ec89993e4984..47aa7e78fea9 100644
--- a/lang/xsb/Makefile
+++ b/lang/xsb/Makefile
@@ -6,18 +6,22 @@
#
PORTNAME= XSB
-PORTVERSION= 2.4
+PORTVERSION= 2.5
CATEGORIES= lang
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
-MASTER_SITE_SUBDIR= xsb
+MASTER_SITE_SUBDIR= ${PORTNAME:L}
+DISTNAME= ${PORTNAME}-${PORTVERSION:S/./_/g}
MAINTAINER= c.rued@xsb.com
WRKSRC= ${WRKDIR}/XSB/build
-
-PLIST_SUB+= MACHINE_ARCH=${MACHINE_ARCH} OPSYS=${OPSYS:S/BSD/bsd/g:S/F/f/g:S/O/o/g:S/N/n/g}
USE_GMAKE= yes
+MAN1= xsb.1
+
+PLIST_SUB+= MACHINE_ARCH=${MACHINE_ARCH} \
+ OPSYS=${OPSYS:S/BSD/bsd/g:S/F/f/g:S/O/o/g:S/N/n/g}
+
do-build:
@ cd ${WRKSRC} ; \
./configure ; \
@@ -25,9 +29,10 @@ do-build:
do-install:
@ ${CP} -r ${WRKDIR}/XSB ${PREFIX} ; \
+ ${INSTALL_MAN} ${WRKDIR}/XSB/docs/userman/xsb.1 ${MAN1PREFIX}/man/man1 ; \
${LN} -s ${PREFIX}/XSB/docs ${PREFIX}/share/xsb ; \
- ${ECHO} XSB is now installed. ; \
- ${ECHO} To run it, execute ${PREFIX}/XSB/bin/xsb ; \
- ${ECHO} The user manual is in ${PREFIX}/share/xsb
+ ${ECHO_CMD} XSB is now installed. ; \
+ ${ECHO_CMD} To run it, execute ${PREFIX}/XSB/bin/xsb ; \
+ ${ECHO_CMD} The user manual is in ${PREFIX}/share/xsb
.include <bsd.port.mk>
diff --git a/lang/xsb/distinfo b/lang/xsb/distinfo
index e43b2e8381b9..3613aeec7ba9 100644
--- a/lang/xsb/distinfo
+++ b/lang/xsb/distinfo
@@ -1 +1 @@
-MD5 (XSB-2.4.tar.gz) = 3f86ed352f7d1b95e9700e492ecca933
+MD5 (XSB-2_5.tar.gz) = 30d747cf9659af6701062ef198ef552a
diff --git a/lang/xsb/files/patch-aa b/lang/xsb/files/patch-aa
index 0eaa3a3e9dd1..03eab6ffbb73 100644
--- a/lang/xsb/files/patch-aa
+++ b/lang/xsb/files/patch-aa
@@ -1,16 +1,16 @@
---- configure.old Thu Jul 5 12:42:10 2001
-+++ configure Sun Jul 29 15:51:36 2001
-@@ -1561,7 +1561,7 @@
- # if --with-gcc, take it as a sign of trouble
- # with gcc and lower optimization levels
- if test -n "$with_gcc" ; then
+--- configure.orig Sat Apr 27 11:18:26 2002
++++ configure Sat Apr 27 11:02:49 2002
+@@ -1664,7 +1664,7 @@
+ CFLAGS=""
+ c_inline_level=""
+ else
- emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
+ emuloop_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
trutils_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
builtins_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
if test -n "$optimization_level"; then
-@@ -1572,9 +1572,9 @@
- CFLAGS="-Wall -ansi -pedantic"
+@@ -1676,9 +1676,9 @@
+ fi
else
case $CC in
- gcc) emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
@@ -21,7 +21,7 @@
if test -n "$optimization_level"; then
c_inline_level=""
else
-@@ -1583,23 +1583,23 @@
+@@ -1687,23 +1687,23 @@
CFLAGS="-Wall -ansi -pedantic"
;;
cc) if test "$__sunpro_c" = "no"; then
@@ -33,8 +33,7 @@
+ builtins_opt_level=-${optimization_level-"O2"}
else
# emuloop_opt_level is the optimization level for emuloop.c
-- # Using xO4 would take SunPro more than an hour, hence xO2.
-+ # Using xO2 would take SunPro more than an hour, hence xO2.
+ # Using xO4 would take SunPro more than an hour, hence xO2.
emuloop_opt_level=-${optimization_level-"xO2"}
- trutils_opt_level=-${optimization_level-"xO4"}
- builtins_opt_level=-${optimization_level-"xO4"}
@@ -53,12 +52,7 @@
c_inline_level=""
CFLAGS="-Xa"
;;
-@@ -3006,16 +3006,16 @@
- #fi
-
-
--# Normally, the optimization level will be O4.
-+# Normally, the optimization level will be O2.
+@@ -3231,12 +3231,12 @@
# SGI64 must have O1 and 32 bit SGI's can have O2
if test "$__sunpro_c" = "no"; then
if test "$CC" = "gcc" ; then
diff --git a/lang/xsb/files/patch-ab b/lang/xsb/files/patch-ab
index b3f39d714fbe..972737c4b9e4 100644
--- a/lang/xsb/files/patch-ab
+++ b/lang/xsb/files/patch-ab
@@ -1,16 +1,16 @@
---- configure.in.old Thu Jul 5 12:42:10 2001
-+++ configure.in Sun Jul 29 15:52:05 2001
-@@ -579,7 +579,7 @@
- # if --with-gcc, take it as a sign of trouble
- # with gcc and lower optimization levels
- if test -n "$with_gcc" ; then
+--- configure.in.orig Sat Apr 27 11:20:37 2002
++++ configure.in Sat Apr 27 11:20:21 2002
+@@ -652,7 +652,7 @@
+ CFLAGS=""
+ c_inline_level=""
+ else
- emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
+ emuloop_opt_level=-${optimization_level-"O2 -fomit-frame-pointer"}
trutils_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
builtins_opt_level=-${optimization_level-"O1 -fomit-frame-pointer"}
if test -n "$optimization_level"; then
-@@ -590,9 +590,9 @@
- CFLAGS="-Wall -ansi -pedantic"
+@@ -664,9 +664,9 @@
+ fi
else
case $CC in
- gcc) emuloop_opt_level=-${optimization_level-"O4 -fomit-frame-pointer"}
@@ -21,7 +21,7 @@
if test -n "$optimization_level"; then
c_inline_level=""
else
-@@ -601,23 +601,23 @@
+@@ -675,23 +675,23 @@
CFLAGS="-Wall -ansi -pedantic"
;;
cc) if test "$__sunpro_c" = "no"; then
@@ -33,8 +33,7 @@
+ builtins_opt_level=-${optimization_level-"O2"}
else
# emuloop_opt_level is the optimization level for emuloop.c
-- # Using xO4 would take SunPro more than an hour, hence xO2.
-+ # Using xO2 would take SunPro more than an hour, hence xO2.
+ # Using xO4 would take SunPro more than an hour, hence xO2.
emuloop_opt_level=-${optimization_level-"xO2"}
- trutils_opt_level=-${optimization_level-"xO4"}
- builtins_opt_level=-${optimization_level-"xO4"}
@@ -53,12 +52,7 @@
c_inline_level=""
CFLAGS="-Xa"
;;
-@@ -1036,16 +1036,16 @@
- #fi
-
-
--# Normally, the optimization level will be O4.
-+# Normally, the optimization level will be O2.
+@@ -1161,12 +1161,12 @@
# SGI64 must have O1 and 32 bit SGI's can have O2
if test "$__sunpro_c" = "no"; then
if test "$CC" = "gcc" ; then
diff --git a/lang/xsb/files/patch-ac b/lang/xsb/files/patch-ac
index 64f3c55ee94a..780959e94503 100644
--- a/lang/xsb/files/patch-ac
+++ b/lang/xsb/files/patch-ac
@@ -1,5 +1,5 @@
---- makexsb.in.old Sun Jul 29 15:37:36 2001
-+++ makexsb.in Sun Jul 29 16:18:20 2001
+--- makexsb.in.orig Sat Apr 27 11:23:44 2002
++++ makexsb.in Sat Apr 27 11:23:32 2002
@@ -74,9 +74,9 @@
if test -r "$makefile" ; then
diff --git a/lang/xsb/files/patch-ad b/lang/xsb/files/patch-ad
index 022697bb350f..10ae3824c972 100644
--- a/lang/xsb/files/patch-ad
+++ b/lang/xsb/files/patch-ad
@@ -1,6 +1,6 @@
---- topMakefile.in.old Sun Jul 29 16:23:01 2001
-+++ topMakefile.in Sun Jul 29 16:22:28 2001
-@@ -164,9 +164,9 @@
+--- topMakefile.in.orig Sat Apr 27 11:25:35 2002
++++ topMakefile.in Sat Apr 27 11:26:48 2002
+@@ -172,9 +172,9 @@
emu: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h
cd ${src_emudir}; \
@@ -12,7 +12,7 @@
$(srcdir)/build/touch.sh $(srcdir)/build/.xsb_build_failed) \
2>&1 | tee -a ../build/Installation_summary; \
(test ! -f $(srcdir)/build/.xsb_build_failed || \
-@@ -174,7 +174,7 @@
+@@ -182,7 +182,7 @@
gpp:
@echo ""; echo "Making gpp"
@@ -21,16 +21,16 @@
# Compiling the interface with sModels.
smodels:
-@@ -182,7 +182,7 @@
+@@ -190,7 +190,7 @@
echo "Compiling smodels interface"; \
rm -f *.o Makefile *.h *.O *.so 2>/dev/null || echo ""; \
ln -s ${src_config_prefix}/smoMakefile ./Makefile; \
-- make XSB=$(src_scriptdir)/xsb$(config_tag) @smodels_goal@ 2>&1\
-+ gmake XSB=$(src_scriptdir)/xsb$(config_tag) @smodels_goal@ 2>&1\
+- make CROSS_SIMULATOR=@CROSS_SIMULATOR@ XSB=$(src_scriptdir)/xsb$(config_tag) @smodels_goal@ 2>&1\
++ gmake CROSS_SIMULATOR=@CROSS_SIMULATOR@ XSB=$(src_scriptdir)/xsb$(config_tag) @smodels_goal@ 2>&1\
| tee -a ../../build/Installation_summary
# Goal for making an XSB load module to be linked with external
-@@ -193,10 +193,10 @@
+@@ -201,10 +201,10 @@
# This invokes xsboramod and xsbmod goals in emuMakefile, respectively
xsbmod: ${src_config_prefix}/xsb_config.h ${src_config_prefix}/xsb_debug.h
cd ${src_emudir}; \
@@ -43,7 +43,7 @@
emu_clean: do_cleaning inform_executable
-@@ -305,10 +305,10 @@
+@@ -394,10 +394,10 @@
chmod 644 $(install_config_libdir)/xsb_configuration.O
remake_dot_O_files:
@@ -56,3 +56,12 @@
# clean for this architecture only
configclean::
+@@ -419,7 +419,7 @@
+ @cd ../packages; ../build/clean_pkgs.sh
+ @-cd ${src_examples}; rm -f *.O *.o *~ */*.O */*.o */*~
+ @echo "Cleaning up ${src_libdir}"
+- @-(cd ${src_libdir}; make clean)
++ @-(cd ${src_libdir}; gmake clean)
+
+ # recreate the makefiles
+ again: Makefile.in emuMakefile.in config.status ${src_config_prefix}/config.cache
diff --git a/lang/xsb/files/patch-ae b/lang/xsb/files/patch-ae
index 1ce95d56b296..c1184532e30b 100644
--- a/lang/xsb/files/patch-ae
+++ b/lang/xsb/files/patch-ae
@@ -1,5 +1,5 @@
---- ../Makefile.orig Sun Jul 29 17:47:07 2001
-+++ ../Makefile Sun Jul 29 17:47:59 2001
+--- ../Makefile.orig Sat Apr 27 11:28:50 2002
++++ ../Makefile Sat Apr 27 11:28:39 2002
@@ -38,16 +38,16 @@
syslib::
diff --git a/lang/xsb/files/patch-af b/lang/xsb/files/patch-af
index 620c21bf5aa7..403491563b5c 100644
--- a/lang/xsb/files/patch-af
+++ b/lang/xsb/files/patch-af
@@ -1,29 +1,36 @@
---- register.sh~ Tue Apr 11 18:30:27 2000
-+++ register.sh Wed Aug 1 15:25:39 2001
-@@ -6,21 +6,15 @@
+--- register.sh.orig Sat Apr 27 11:34:29 2002
++++ register.sh Sat Apr 27 11:33:33 2002
+@@ -4,23 +4,20 @@
+ cat <<EOF
+ *******************************************************************************
- The installation process is now complete. The log is in: Installation_summary
+-The installation process is now complete. The log is in: Installation_summary
++The installation process is now complete.
-We would like to ask you to email this log to us.
-+We would like to ask you to email this log to us:
-+
-+ xsb-installation@lists.sourceforge.net
-+
- Installation logs help the XSB group to keep track of the usage of the
- system on different architectures and to isolate problems more easily.
+-Installation logs help the XSB group to keep track of the usage of the
+-system on different architectures and to isolate problems more easily.
++A log of this process has been created in:
-The log will be sent automatically to xsb-installation@lists.sourceforge.net
-Would you like to send us the installation log? (y/n): y
-+*******************************************************************************
- EOF
--
+-EOF
++ Installation_summary
++
++We would like to ask you to email this log to us:
+
-read sendlog
--
++ xsb-installation@lists.sourceforge.net
+
-if test "$sendlog" != "n" -a "$sendlog" != "no" -a "$sendlog" != "N" ; then
- (cat sendlog.msg Installation_summary \
- | mail xsb-installation@lists.sourceforge.net) \
- && echo "" ; echo "Thank you!"; echo ""
-fi
++Installation logs help the XSB group to keep track of the usage of the
++system on different architectures and to isolate problems more easily.
++*******************************************************************************
++EOF
cat <<EOF
Should you find a bug in XSB, please report it using our bug tracking system at
diff --git a/lang/xsb/files/patch-ag b/lang/xsb/files/patch-ag
new file mode 100644
index 000000000000..dc36e75996b9
--- /dev/null
+++ b/lang/xsb/files/patch-ag
@@ -0,0 +1,20 @@
+--- config.guess.orig Tue Jun 18 11:40:04 2002
++++ config.guess Tue Jun 18 11:40:48 2002
+@@ -79,7 +79,7 @@
+ fi
+
+
+-dummy=dummy-$$
++dummy=/tmp/dummy-$$
+ trap 'rm -f $dummy.c $dummy.o $dummy; exit 1' 1 2 15
+
+ # Use $HOST_CC if defined. $CC may point to a cross-compiler
+@@ -92,7 +92,7 @@
+ else
+ echo 'int dummy(){}' >$dummy.c
+ for c in cc c89 gcc; do
+- ($c $dummy.c -c) >/dev/null 2>&1
++ ($c $dummy.c -c -o $dummy.o) >/dev/null 2>&1
+ if test $? = 0; then
+ CC_FOR_BUILD="$c"; break
+ fi
diff --git a/lang/xsb/pkg-plist b/lang/xsb/pkg-plist
index 31e4bbaa3a4d..0208084c5802 100644
--- a/lang/xsb/pkg-plist
+++ b/lang/xsb/pkg-plist
@@ -1,4 +1,3 @@
-share/xsb
XSB/etc/CVS/Root
XSB/etc/CVS/Repository
XSB/etc/CVS/Entries
@@ -42,11 +41,13 @@ XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/pathname_xsb.o
XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/private_builtin.o
XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/psc_xsb.o
XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/random_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/remove_unf.o
XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/residual.o
XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/scc_xsb.o
XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/slgdelay.o
XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/socket_xsb.o
XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/string_xsb.o
+XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/storage_xsb.o
XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/struct_manager.o
XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/sub_delete.o
XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o/subp.o
@@ -112,16 +113,16 @@ XSB/examples/XSB_calling_c/second_foreign.mak
XSB/examples/XSB_calling_c/simple_foreign.H
XSB/examples/XSB_calling_c/simple_foreign.c
XSB/examples/XSB_calling_c/simple_foreign.mak
-XSB/examples/xmc/Sieve/CVS/Root
-XSB/examples/xmc/Sieve/CVS/Repository
-XSB/examples/xmc/Sieve/CVS/Entries
-XSB/examples/xmc/Sieve/CVS/Tag
-XSB/examples/xmc/Sieve/.cvsignore
-XSB/examples/xmc/Sieve/sieve.xl
-XSB/examples/xmc/Sieve/test.sh
-XSB/examples/xmc/Sieve/test_new
-XSB/examples/xmc/Sieve/test_old
-XSB/examples/xmc/Sieve/test.P
+XSB/examples/xmc/Rether/CVS/Root
+XSB/examples/xmc/Rether/CVS/Repository
+XSB/examples/xmc/Rether/CVS/Entries
+XSB/examples/xmc/Rether/CVS/Tag
+XSB/examples/xmc/Rether/.cvsignore
+XSB/examples/xmc/Rether/rether.xl
+XSB/examples/xmc/Rether/test.sh
+XSB/examples/xmc/Rether/test_new
+XSB/examples/xmc/Rether/test_old
+XSB/examples/xmc/Rether/test.P
XSB/examples/xmc/ABP/CVS/Root
XSB/examples/xmc/ABP/CVS/Repository
XSB/examples/xmc/ABP/CVS/Entries
@@ -133,6 +134,51 @@ XSB/examples/xmc/ABP/test.P
XSB/examples/xmc/ABP/test.sh
XSB/examples/xmc/ABP/test_new
XSB/examples/xmc/ABP/test_old
+XSB/examples/xmc/Tests/CVS/Root
+XSB/examples/xmc/Tests/CVS/Repository
+XSB/examples/xmc/Tests/CVS/Entries
+XSB/examples/xmc/Tests/CVS/Tag
+XSB/examples/xmc/Tests/.cvsignore
+XSB/examples/xmc/Tests/temp.P
+XSB/examples/xmc/Tests/test1.xl
+XSB/examples/xmc/Tests/test2.xl
+XSB/examples/xmc/Tests/test3.xl
+XSB/examples/xmc/Sieve/CVS/Root
+XSB/examples/xmc/Sieve/CVS/Repository
+XSB/examples/xmc/Sieve/CVS/Entries
+XSB/examples/xmc/Sieve/CVS/Tag
+XSB/examples/xmc/Sieve/.cvsignore
+XSB/examples/xmc/Sieve/sieve.xl
+XSB/examples/xmc/Sieve/test.sh
+XSB/examples/xmc/Sieve/test_new
+XSB/examples/xmc/Sieve/test_old
+XSB/examples/xmc/Sieve/test.P
+XSB/examples/xmc/Leader/CVS/Root
+XSB/examples/xmc/Leader/CVS/Repository
+XSB/examples/xmc/Leader/CVS/Entries
+XSB/examples/xmc/Leader/CVS/Tag
+XSB/examples/xmc/Leader/.cvsignore
+XSB/examples/xmc/Leader/leader.xl
+XSB/examples/xmc/Leader/test.sh
+XSB/examples/xmc/Leader/test_new
+XSB/examples/xmc/Leader/test_old
+XSB/examples/xmc/Leader/test.P
+XSB/examples/xmc/Needham/CVS/Root
+XSB/examples/xmc/Needham/CVS/Repository
+XSB/examples/xmc/Needham/CVS/Entries
+XSB/examples/xmc/Needham/CVS/Tag
+XSB/examples/xmc/Needham/needham.xl
+XSB/examples/xmc/Metalock/CVS/Root
+XSB/examples/xmc/Metalock/CVS/Repository
+XSB/examples/xmc/Metalock/CVS/Entries
+XSB/examples/xmc/Metalock/CVS/Tag
+XSB/examples/xmc/Metalock/.cvsignore
+XSB/examples/xmc/Metalock/metalock.xl
+XSB/examples/xmc/Metalock/nomutext_out
+XSB/examples/xmc/Metalock/test.P
+XSB/examples/xmc/Metalock/test.sh
+XSB/examples/xmc/Metalock/test_new
+XSB/examples/xmc/Metalock/test_old
XSB/examples/xmc/CVS/Root
XSB/examples/xmc/CVS/Repository
XSB/examples/xmc/CVS/Entries
@@ -147,46 +193,6 @@ XSB/examples/xmc/Iproto/test.sh
XSB/examples/xmc/Iproto/test_new
XSB/examples/xmc/Iproto/test_old
XSB/examples/xmc/Iproto/test.P
-XSB/examples/xmc/Rether/CVS/Root
-XSB/examples/xmc/Rether/CVS/Repository
-XSB/examples/xmc/Rether/CVS/Entries
-XSB/examples/xmc/Rether/CVS/Tag
-XSB/examples/xmc/Rether/.cvsignore
-XSB/examples/xmc/Rether/rether.xl
-XSB/examples/xmc/Rether/test.sh
-XSB/examples/xmc/Rether/test_new
-XSB/examples/xmc/Rether/test_old
-XSB/examples/xmc/Rether/test.P
-XSB/examples/xmc/Metalock/CVS/Root
-XSB/examples/xmc/Metalock/CVS/Repository
-XSB/examples/xmc/Metalock/CVS/Entries
-XSB/examples/xmc/Metalock/CVS/Tag
-XSB/examples/xmc/Metalock/.cvsignore
-XSB/examples/xmc/Metalock/metalock.xl
-XSB/examples/xmc/Metalock/nomutext_out
-XSB/examples/xmc/Metalock/test.P
-XSB/examples/xmc/Metalock/test.sh
-XSB/examples/xmc/Metalock/test_new
-XSB/examples/xmc/Metalock/test_old
-XSB/examples/xmc/Leader/CVS/Root
-XSB/examples/xmc/Leader/CVS/Repository
-XSB/examples/xmc/Leader/CVS/Entries
-XSB/examples/xmc/Leader/CVS/Tag
-XSB/examples/xmc/Leader/.cvsignore
-XSB/examples/xmc/Leader/leader.xl
-XSB/examples/xmc/Leader/test.sh
-XSB/examples/xmc/Leader/test_new
-XSB/examples/xmc/Leader/test_old
-XSB/examples/xmc/Leader/test.P
-XSB/examples/xmc/Tests/CVS/Root
-XSB/examples/xmc/Tests/CVS/Repository
-XSB/examples/xmc/Tests/CVS/Entries
-XSB/examples/xmc/Tests/CVS/Tag
-XSB/examples/xmc/Tests/.cvsignore
-XSB/examples/xmc/Tests/temp.P
-XSB/examples/xmc/Tests/test1.xl
-XSB/examples/xmc/Tests/test2.xl
-XSB/examples/xmc/Tests/test3.xl
XSB/examples/xmc/testsuite.sh
XSB/examples/xmc/testall.sh
XSB/examples/xmc/test.P
@@ -298,6 +304,7 @@ XSB/examples/dyn_examples.P
XSB/examples/farmer.H
XSB/docs/userman/manual1.ps
XSB/docs/userman/manual2.ps
+XSB/docs/userman/xsb.1
XSB/packages/regmatch/CVS/Root
XSB/packages/regmatch/CVS/Repository
XSB/packages/regmatch/CVS/Entries
@@ -306,10 +313,10 @@ XSB/packages/regmatch/cc/CVS/Root
XSB/packages/regmatch/cc/CVS/Repository
XSB/packages/regmatch/cc/CVS/Entries
XSB/packages/regmatch/cc/CVS/Tag
-XSB/packages/regmatch/cc/xsb_re_match.H
XSB/packages/regmatch/cc/.cvsignore
XSB/packages/regmatch/cc/NMakefile.mak
XSB/packages/regmatch/cc/xsb_re_match.c
+XSB/packages/regmatch/cc/xsb_re_match.H
XSB/packages/regmatch/cc/xsb_re_match.O
XSB/packages/regmatch/.cvsignore
XSB/packages/regmatch/Makefile
@@ -320,10 +327,11 @@ XSB/packages/xsbdoc/CVS/Repository
XSB/packages/xsbdoc/CVS/Entries
XSB/packages/xsbdoc/CVS/Tag
XSB/packages/xsbdoc/.cvsignore
-XSB/packages/xsbdoc/basic_props.P
+XSB/packages/xsbdoc/Makefile
XSB/packages/xsbdoc/full_ciao_ops.P
XSB/packages/xsbdoc/pretty_print.P
XSB/packages/xsbdoc/usage_message.P
+XSB/packages/xsbdoc/basic_props.P
XSB/packages/xmc/GUI/CVS/Root
XSB/packages/xmc/GUI/CVS/Repository
XSB/packages/xmc/GUI/CVS/Entries
@@ -360,7 +368,6 @@ XSB/packages/xmc/gui.H
XSB/packages/xmc/gui.P
XSB/packages/xmc/justify.H
XSB/packages/xmc/justify.P
-XSB/packages/xmc/lex.yy.c
XSB/packages/xmc/main.c
XSB/packages/xmc/models_rule.P
XSB/packages/xmc/mucalculus.H
@@ -385,33 +392,12 @@ XSB/packages/xmc/typecheck.P
XSB/packages/xmc/util.H
XSB/packages/xmc/util.P
XSB/packages/xmc/xl.l
-XSB/packages/xmc/xl.tab.c
-XSB/packages/xmc/xl.tab.h
XSB/packages/xmc/xl.y
XSB/packages/xmc/xlparse.H
XSB/packages/xmc/xlparse.c
XSB/packages/xmc/xmc.H
XSB/packages/xmc/xmc.P
XSB/packages/xmc/xmc-gui
-XSB/packages/xmc/driver.o
-XSB/packages/xmc/main.o
-XSB/packages/xmc/xl.tab.o
-XSB/packages/xmc/lex.yy.o
-XSB/packages/xmc/parse
-XSB/packages/xmc/libxlp.a
-XSB/packages/xmc/xlparse.O
-XSB/packages/xmc/xlparse.so
-XSB/packages/xmc/comp.O
-XSB/packages/xmc/count.O
-XSB/packages/xmc/formula.O
-XSB/packages/xmc/mucalculus.O
-XSB/packages/xmc/quad.O
-XSB/packages/xmc/typecheck.O
-XSB/packages/xmc/util.O
-XSB/packages/xmc/xmc.O
-XSB/packages/xmc/justify.O
-XSB/packages/xmc/navigate.O
-XSB/packages/xmc/gui.O
XSB/packages/xmc/.cvsignore
XSB/packages/wildmatch/CVS/Root
XSB/packages/wildmatch/CVS/Repository
@@ -421,10 +407,10 @@ XSB/packages/wildmatch/cc/CVS/Root
XSB/packages/wildmatch/cc/CVS/Repository
XSB/packages/wildmatch/cc/CVS/Entries
XSB/packages/wildmatch/cc/CVS/Tag
-XSB/packages/wildmatch/cc/xsb_wildmatch.H
XSB/packages/wildmatch/cc/.cvsignore
XSB/packages/wildmatch/cc/NMakefile.mak
XSB/packages/wildmatch/cc/xsb_wildmatch.c
+XSB/packages/wildmatch/cc/xsb_wildmatch.H
XSB/packages/wildmatch/cc/xsb_wildmatch.O
XSB/packages/wildmatch/.cvsignore
XSB/packages/wildmatch/Makefile
@@ -442,7 +428,6 @@ XSB/packages/sModels/CVS/Root
XSB/packages/sModels/CVS/Repository
XSB/packages/sModels/CVS/Entries
XSB/packages/sModels/CVS/Tag
-XSB/packages/sModels/Makefile
XSB/packages/sModels/.cvsignore
XSB/packages/sModels/ex7num.H
XSB/packages/sModels/ex7num.P
@@ -459,6 +444,7 @@ XSB/packages/sModels/smodelsops.H
XSB/packages/sModels/smodelsops.P
XSB/packages/sModels/teste.H
XSB/packages/sModels/teste.P
+XSB/packages/sModels/Makefile
XSB/packages/clpqr/CVS/Root
XSB/packages/clpqr/CVS/Repository
XSB/packages/clpqr/CVS/Entries
@@ -487,40 +473,22 @@ XSB/packages/clpqr/printf.P
XSB/packages/clpqr/project.P
XSB/packages/clpqr/redund.P
XSB/packages/clpqr/store.P
-XSB/packages/clpqr/arith.O
-XSB/packages/clpqr/arith_r.O
-XSB/packages/clpqr/bv.O
-XSB/packages/clpqr/class.O
-XSB/packages/clpqr/clpr.O
-XSB/packages/clpqr/ineq.O
-XSB/packages/clpqr/itf3.O
-XSB/packages/clpqr/fourmotz.O
-XSB/packages/clpqr/nf.O
-XSB/packages/clpqr/ordering.O
-XSB/packages/clpqr/project.O
-XSB/packages/clpqr/redund.O
-XSB/packages/clpqr/store.O
-XSB/packages/clpqr/dump.O
+XSB/packages/perlmatch/CVS/Root
+XSB/packages/perlmatch/CVS/Repository
+XSB/packages/perlmatch/CVS/Entries
+XSB/packages/perlmatch/CVS/Tag
XSB/packages/perlmatch/cc/CVS/Root
XSB/packages/perlmatch/cc/CVS/Repository
XSB/packages/perlmatch/cc/CVS/Entries
XSB/packages/perlmatch/cc/CVS/Tag
-XSB/packages/perlmatch/cc/xsbpattern.H
XSB/packages/perlmatch/cc/.cvsignore
+XSB/packages/perlmatch/cc/interface.h
XSB/packages/perlmatch/cc/perlpattern.c
XSB/packages/perlmatch/cc/xsbpattern.c
-XSB/packages/perlmatch/cc/xsbpattern.O
-XSB/packages/perlmatch/cc/interface.h
-XSB/packages/perlmatch/CVS/Root
-XSB/packages/perlmatch/CVS/Repository
-XSB/packages/perlmatch/CVS/Entries
-XSB/packages/perlmatch/CVS/Tag
+XSB/packages/perlmatch/.cvsignore
XSB/packages/perlmatch/Makefile
XSB/packages/perlmatch/plmchconfig.P
XSB/packages/perlmatch/plmchshell.P
-XSB/packages/perlmatch/plmchconfig.O
-XSB/packages/perlmatch/plmchshell.O
-XSB/packages/perlmatch/.cvsignore
XSB/packages/libwww/cc/CVS/Root
XSB/packages/libwww/cc/CVS/Repository
XSB/packages/libwww/cc/CVS/Entries
@@ -547,59 +515,84 @@ XSB/packages/libwww/configure.in
XSB/packages/libwww/http_liberr.P
XSB/packages/libwww/libwww_init.in
XSB/packages/libwww/libwwwconfig.P
-XSB/packages/libwww/config.log
-XSB/packages/libwww/config.cache
-XSB/packages/libwww/Installation_summary
-XSB/packages/libwww/config.status
-XSB/packages/libwww/libwwwconfig.O
-XSB/packages/libwww/libwww_init.P
-XSB/packages/libwww/libwww_init.O
XSB/packages/libwww/.cvsignore
XSB/packages/CVS/Root
XSB/packages/CVS/Repository
XSB/packages/CVS/Entries
XSB/packages/CVS/Tag
-XSB/packages/flora2/lib/CVS/Root
-XSB/packages/flora2/lib/CVS/Repository
-XSB/packages/flora2/lib/CVS/Entries
-XSB/packages/flora2/lib/CVS/Tag
-XSB/packages/flora2/lib/.cvsignore
-XSB/packages/flora2/lib/Makefile
-XSB/packages/flora2/lib/NMakefile.mak
-XSB/packages/flora2/lib/README
-XSB/packages/flora2/lib/flrio.flr
-XSB/packages/flora2/lib/flrprettyprint.flr
-XSB/packages/flora2/lib/flrprettyprint.P
-XSB/packages/flora2/lib/flrio.P
-XSB/packages/flora2/lib/flrprettyprint_pp.O
-XSB/packages/flora2/lib/flrio_io.O
+XSB/packages/flora2/headerinc/CVS/Root
+XSB/packages/flora2/headerinc/CVS/Repository
+XSB/packages/flora2/headerinc/CVS/Entries
+XSB/packages/flora2/headerinc/CVS/Tag
+XSB/packages/flora2/headerinc/flrdefinition_inc.flh
+XSB/packages/flora2/headerinc/flreqltrailer_inc.flh
+XSB/packages/flora2/headerinc/flrheader_inc.flh
+XSB/packages/flora2/headerinc/flrindex_P_inc.flh
+XSB/packages/flora2/headerinc/flrpatch_inc.flh
+XSB/packages/flora2/headerinc/flrpreddef_inc.flh
+XSB/packages/flora2/headerinc/flrscalareql_inc.flh
+XSB/packages/flora2/headerinc/flrtrailer_inc.flh
+XSB/packages/flora2/CVS/Root
+XSB/packages/flora2/CVS/Repository
+XSB/packages/flora2/CVS/Entries
+XSB/packages/flora2/CVS/Tag
+XSB/packages/flora2/demos/CVS/Root
+XSB/packages/flora2/demos/CVS/Repository
+XSB/packages/flora2/demos/CVS/Entries
+XSB/packages/flora2/demos/CVS/Tag
+XSB/packages/flora2/demos/.cvsignore
+XSB/packages/flora2/demos/CompileChangedFiles.sh
+XSB/packages/flora2/demos/Makefile
+XSB/packages/flora2/demos/NMakefile.mak
+XSB/packages/flora2/demos/aggregate.flr
+XSB/packages/flora2/demos/benchmark.flr
+XSB/packages/flora2/demos/btupdates.flr
+XSB/packages/flora2/demos/default.flr
+XSB/packages/flora2/demos/family_obj.flr
+XSB/packages/flora2/demos/family_rel.flr
+XSB/packages/flora2/demos/flogic_basics.flr
+XSB/packages/flora2/demos/metavar.flr
+XSB/packages/flora2/demos/mix.flr
+XSB/packages/flora2/demos/mod1.flr
+XSB/packages/flora2/demos/mod2.flr
+XSB/packages/flora2/demos/module1.flr
+XSB/packages/flora2/demos/module2.flr
+XSB/packages/flora2/demos/mono_inherit.flr
+XSB/packages/flora2/demos/nonmono_inherit.flr
+XSB/packages/flora2/demos/pps.flr
+XSB/packages/flora2/demos/pretty.flr
+XSB/packages/flora2/demos/pretty_data.flr
+XSB/packages/flora2/demos/rel_ops.flr
+XSB/packages/flora2/demos/tree_traversal.flr
XSB/packages/flora2/debugger/CVS/Root
XSB/packages/flora2/debugger/CVS/Repository
XSB/packages/flora2/debugger/CVS/Entries
XSB/packages/flora2/debugger/CVS/Tag
XSB/packages/flora2/debugger/.cvsignore
XSB/packages/flora2/debugger/Makefile
-XSB/packages/flora2/debugger/NMakefile.mak
XSB/packages/flora2/debugger/dynamic_data.in
XSB/packages/flora2/debugger/flrdebugger.P
XSB/packages/flora2/debugger/static_data.in
-XSB/packages/flora2/debugger/static_data.dat
-XSB/packages/flora2/debugger/flrdebugger.O
-XSB/packages/flora2/debugger/dynamic_data.dat
+XSB/packages/flora2/debugger/NMakefile.mak
XSB/packages/flora2/docs/CVS/Root
XSB/packages/flora2/docs/CVS/Repository
XSB/packages/flora2/docs/CVS/Entries
XSB/packages/flora2/docs/CVS/Tag
XSB/packages/flora2/docs/.cvsignore
+XSB/packages/flora2/docs/Makefile
+XSB/packages/flora2/docs/NMakefile.mak
XSB/packages/flora2/docs/architecture.eps
XSB/packages/flora2/docs/architecture.fig
XSB/packages/flora2/docs/architecture.jpg
XSB/packages/flora2/docs/flora2.tex
+XSB/packages/flora2/docs/technical.txt
XSB/packages/flora2/emacs/CVS/Root
XSB/packages/flora2/emacs/CVS/Repository
XSB/packages/flora2/emacs/CVS/Entries
XSB/packages/flora2/emacs/CVS/Tag
XSB/packages/flora2/emacs/.cvsignore
+XSB/packages/flora2/emacs/Makefile
+XSB/packages/flora2/emacs/NMakefile.mak
XSB/packages/flora2/emacs/README
XSB/packages/flora2/emacs/flora.el
XSB/packages/flora2/flrincludes/CVS/Root
@@ -615,26 +608,11 @@ XSB/packages/flora2/genincludes/CVS/Entries
XSB/packages/flora2/genincludes/CVS/Tag
XSB/packages/flora2/genincludes/.cvsignore
XSB/packages/flora2/genincludes/Makefile
+XSB/packages/flora2/genincludes/NMakefile.mak
XSB/packages/flora2/genincludes/README
+XSB/packages/flora2/genincludes/flrindex_P.fli
XSB/packages/flora2/genincludes/flrpatch.fli
-XSB/packages/flora2/genincludes/flrpatch.flh
-XSB/packages/flora2/genincludes/NMakefile.mak
-XSB/packages/flora2/headerinc/CVS/Root
-XSB/packages/flora2/headerinc/CVS/Repository
-XSB/packages/flora2/headerinc/CVS/Entries
-XSB/packages/flora2/headerinc/CVS/Tag
-XSB/packages/flora2/headerinc/flrdefinition_inc.flh
-XSB/packages/flora2/headerinc/flreqltrailer_inc.flh
-XSB/packages/flora2/headerinc/flrpatch_inc.flh
-XSB/packages/flora2/headerinc/flrscalareql_inc.flh
-XSB/packages/flora2/headerinc/flrtrailer_inc.flh
-XSB/packages/flora2/headerinc/flrheader_inc.flh
-XSB/packages/flora2/includes/CVS/Root
-XSB/packages/flora2/includes/CVS/Repository
-XSB/packages/flora2/includes/CVS/Entries
-XSB/packages/flora2/includes/CVS/Tag
-XSB/packages/flora2/includes/flrdefinition.flh
-XSB/packages/flora2/includes/flrheader.flh
+XSB/packages/flora2/genincludes/flrpreddef.fli
XSB/packages/flora2/closure/includes/CVS/Root
XSB/packages/flora2/closure/includes/CVS/Repository
XSB/packages/flora2/closure/includes/CVS/Entries
@@ -651,22 +629,37 @@ XSB/packages/flora2/closure/flrcommon.fli
XSB/packages/flora2/closure/flreqltrailer.fli
XSB/packages/flora2/closure/flrscalareql.fli
XSB/packages/flora2/closure/flrtrailer.fli
-XSB/packages/flora2/closure/flrcommon.flh
-XSB/packages/flora2/closure/flrtrailer.flh
-XSB/packages/flora2/closure/flreqltrailer.flh
-XSB/packages/flora2/closure/flrscalareql.flh
XSB/packages/flora2/closure/.cvsignore
+XSB/packages/flora2/includes/CVS/Root
+XSB/packages/flora2/includes/CVS/Repository
+XSB/packages/flora2/includes/CVS/Entries
+XSB/packages/flora2/includes/CVS/Tag
+XSB/packages/flora2/includes/flrdefinition.flh
+XSB/packages/flora2/includes/flrheader.flh
+XSB/packages/flora2/lib/CVS/Root
+XSB/packages/flora2/lib/CVS/Repository
+XSB/packages/flora2/lib/CVS/Entries
+XSB/packages/flora2/lib/CVS/Tag
+XSB/packages/flora2/lib/.cvsignore
+XSB/packages/flora2/lib/Makefile
+XSB/packages/flora2/lib/NMakefile.mak
+XSB/packages/flora2/lib/README
+XSB/packages/flora2/lib/flrio.flr
+XSB/packages/flora2/lib/flrprettyprint.flr
+XSB/packages/flora2/lib/flrstorage.flr
+XSB/packages/flora2/lib/flrsystem.flr
XSB/packages/flora2/libinc/CVS/Root
XSB/packages/flora2/libinc/CVS/Repository
XSB/packages/flora2/libinc/CVS/Entries
XSB/packages/flora2/libinc/CVS/Tag
XSB/packages/flora2/libinc/flrio_inc.flh
XSB/packages/flora2/libinc/flrprettyprint_inc.flh
+XSB/packages/flora2/libinc/flrstorage_inc.flh
+XSB/packages/flora2/libinc/flrsystem_inc.flh
XSB/packages/flora2/p2h/CVS/Root
XSB/packages/flora2/p2h/CVS/Repository
XSB/packages/flora2/p2h/CVS/Entries
XSB/packages/flora2/p2h/CVS/Tag
-XSB/packages/flora2/p2h/p2h_config.O
XSB/packages/flora2/p2h/.cvsignore
XSB/packages/flora2/p2h/Makefile
XSB/packages/flora2/p2h/NMakefile.mak
@@ -714,25 +707,6 @@ XSB/packages/flora2/syslib/flrload.P
XSB/packages/flora2/syslib/flrmetaops.P
XSB/packages/flora2/syslib/flrshdirect.P
XSB/packages/flora2/syslib/flrstorage.P
-XSB/packages/flora2/syslib/flranswer.O
-XSB/packages/flora2/syslib/flrcontrol.O
-XSB/packages/flora2/syslib/flrdisplay.O
-XSB/packages/flora2/syslib/flrload.O
-XSB/packages/flora2/syslib/flraggavg.O
-XSB/packages/flora2/syslib/flraggcolbag.O
-XSB/packages/flora2/syslib/flraggcolset.O
-XSB/packages/flora2/syslib/flraggcount.O
-XSB/packages/flora2/syslib/flraggmax.O
-XSB/packages/flora2/syslib/flraggmin.O
-XSB/packages/flora2/syslib/flraggsum.O
-XSB/packages/flora2/syslib/flrstorage.O
-XSB/packages/flora2/syslib/flrdbop.O
-XSB/packages/flora2/syslib/flrbtdbop.O
-XSB/packages/flora2/syslib/flrshdirect.O
-XSB/packages/flora2/syslib/flrdynmod.O
-XSB/packages/flora2/syslib/flrequality.O
-XSB/packages/flora2/syslib/flrimport.O
-XSB/packages/flora2/syslib/flrexpunge.O
XSB/packages/flora2/syslibinc/CVS/Root
XSB/packages/flora2/syslibinc/CVS/Repository
XSB/packages/flora2/syslibinc/CVS/Entries
@@ -764,82 +738,8 @@ XSB/packages/flora2/trailer/.cvsignore
XSB/packages/flora2/trailer/Makefile
XSB/packages/flora2/trailer/NMakefile.mak
XSB/packages/flora2/trailer/README
-XSB/packages/flora2/trailer/standard.P
-XSB/packages/flora2/trailer/standard.O
-XSB/packages/flora2/trailer/eqlbasic.P
-XSB/packages/flora2/trailer/eqlbasic.O
-XSB/packages/flora2/trailer/eqlflogic.P
-XSB/packages/flora2/trailer/eqlflogic.O
-XSB/packages/flora2/trailer/patch.P
-XSB/packages/flora2/trailer/patch.O
-XSB/packages/flora2/demos/CVS/Root
-XSB/packages/flora2/demos/CVS/Repository
-XSB/packages/flora2/demos/CVS/Entries
-XSB/packages/flora2/demos/CVS/Tag
-XSB/packages/flora2/demos/.cvsignore
-XSB/packages/flora2/demos/CompileChangedFiles.sh
-XSB/packages/flora2/demos/Makefile
-XSB/packages/flora2/demos/NMakefile.mak
-XSB/packages/flora2/demos/aggregate.flr
-XSB/packages/flora2/demos/benchmark.flr
-XSB/packages/flora2/demos/default.flr
-XSB/packages/flora2/demos/family_obj.flr
-XSB/packages/flora2/demos/family_rel.flr
-XSB/packages/flora2/demos/flogic_basics.flr
-XSB/packages/flora2/demos/metavar.flr
-XSB/packages/flora2/demos/mix.flr
-XSB/packages/flora2/demos/mod1.flr
-XSB/packages/flora2/demos/mod2.flr
-XSB/packages/flora2/demos/module1.flr
-XSB/packages/flora2/demos/module2.flr
-XSB/packages/flora2/demos/mono_inherit.flr
-XSB/packages/flora2/demos/nonmono_inherit.flr
-XSB/packages/flora2/demos/pps.flr
-XSB/packages/flora2/demos/rel_ops.flr
-XSB/packages/flora2/demos/tree_traversal.flr
-XSB/packages/flora2/demos/aggregate.P
-XSB/packages/flora2/demos/aggregate.fdb
-XSB/packages/flora2/demos/benchmark.P
-XSB/packages/flora2/demos/aggregate_main.O
-XSB/packages/flora2/demos/benchmark.fdb
-XSB/packages/flora2/demos/default.P
-XSB/packages/flora2/demos/benchmark_main.O
-XSB/packages/flora2/demos/default.fdb
-XSB/packages/flora2/demos/family_obj.P
-XSB/packages/flora2/demos/default_main.O
-XSB/packages/flora2/demos/family_obj.fdb
-XSB/packages/flora2/demos/family_rel.P
-XSB/packages/flora2/demos/family_obj_main.O
-XSB/packages/flora2/demos/family_rel.fdb
-XSB/packages/flora2/demos/metavar.P
-XSB/packages/flora2/demos/family_rel_main.O
-XSB/packages/flora2/demos/flogic_basics.P
-XSB/packages/flora2/demos/flogic_basics.fdb
-XSB/packages/flora2/demos/metavar.fdb
-XSB/packages/flora2/demos/flogic_basics_main.O
-XSB/packages/flora2/demos/mix.P
-XSB/packages/flora2/demos/metavar_main.O
-XSB/packages/flora2/demos/mix.fdb
-XSB/packages/flora2/demos/mod1.P
-XSB/packages/flora2/demos/mix_main.O
-XSB/packages/flora2/demos/module1.P
-XSB/packages/flora2/demos/module1.fdb
-XSB/packages/flora2/demos/mod1.fdb
-XSB/packages/flora2/demos/module1_main.O
-XSB/packages/flora2/demos/mod1_main.O
-XSB/packages/flora2/demos/mono_inherit.P
-XSB/packages/flora2/demos/mono_inherit.fdb
-XSB/packages/flora2/demos/rel_ops.P
-XSB/packages/flora2/demos/mono_inherit_main.O
-XSB/packages/flora2/demos/rel_ops.fdb
-XSB/packages/flora2/demos/rel_ops_main.O
-XSB/packages/flora2/demos/tree_traversal.P
-XSB/packages/flora2/demos/tree_traversal.fdb
-XSB/packages/flora2/demos/tree_traversal_main.O
-XSB/packages/flora2/CVS/Root
-XSB/packages/flora2/CVS/Repository
-XSB/packages/flora2/CVS/Entries
-XSB/packages/flora2/CVS/Tag
+XSB/packages/flora2/flrfirstorder.P
+XSB/packages/flora2/flrlexer.H
XSB/packages/flora2/flrlexer.P
XSB/packages/flora2/flrlibman.H
XSB/packages/flora2/flrlibman.P
@@ -847,47 +747,32 @@ XSB/packages/flora2/flrnodefp.H
XSB/packages/flora2/flrnodefp.P
XSB/packages/flora2/flrnowsp.H
XSB/packages/flora2/flrnowsp.P
+XSB/packages/flora2/flrparser.H
XSB/packages/flora2/flroperator.H
XSB/packages/flora2/flroperator.P
-XSB/packages/flora2/TODO
-XSB/packages/flora2/flrparser.H
XSB/packages/flora2/flrparser.P
+XSB/packages/flora2/flrprettyprint.P
XSB/packages/flora2/flrprint.H
XSB/packages/flora2/flrprint.P
XSB/packages/flora2/flrprolog.H
XSB/packages/flora2/flrprolog.P
XSB/packages/flora2/flrshell.H
XSB/packages/flora2/flrshell.P
-XSB/packages/flora2/flrundefhook.H
XSB/packages/flora2/flrundefhook.P
+XSB/packages/flora2/flrundefined.H
+XSB/packages/flora2/flrundefined.P
XSB/packages/flora2/flrutils.H
XSB/packages/flora2/flrutils.P
XSB/packages/flora2/flrwraparound.H
XSB/packages/flora2/flrwraparound.P
XSB/packages/flora2/flrwrapper.H
XSB/packages/flora2/flrwrapper.P
-XSB/packages/flora2/flrutils.O
-XSB/packages/flora2/flroperator.O
-XSB/packages/flora2/flrnodefp.O
-XSB/packages/flora2/flrnowsp.O
-XSB/packages/flora2/flrarguments.O
-XSB/packages/flora2/flrprolog.O
-XSB/packages/flora2/flrfirstorder.O
-XSB/packages/flora2/flrprint.O
-XSB/packages/flora2/flrlibman.O
-XSB/packages/flora2/flrlexer.O
-XSB/packages/flora2/flrcomposer.O
-XSB/packages/flora2/flrparser.O
-XSB/packages/flora2/flrcompiler.O
-XSB/packages/flora2/flrcoder.O
-XSB/packages/flora2/flrwrapper.O
-XSB/packages/flora2/flrwraparound.O
-XSB/packages/flora2/flrundefhook.O
-XSB/packages/flora2/flrshell.O
+XSB/packages/flora2/flrundefhook.H
XSB/packages/flora2/.cvsignore
XSB/packages/flora2/CompileChangedFiles.sh
XSB/packages/flora2/Makefile
XSB/packages/flora2/NMakefile.mak
+XSB/packages/flora2/TODO
XSB/packages/flora2/flrarguments.H
XSB/packages/flora2/flrarguments.P
XSB/packages/flora2/flrcoder.H
@@ -896,9 +781,9 @@ XSB/packages/flora2/flrcompiler.H
XSB/packages/flora2/flrcompiler.P
XSB/packages/flora2/flrcomposer.H
XSB/packages/flora2/flrcomposer.P
+XSB/packages/flora2/flrdependency.H
+XSB/packages/flora2/flrdependency.P
XSB/packages/flora2/flrfirstorder.H
-XSB/packages/flora2/flrfirstorder.P
-XSB/packages/flora2/flrlexer.H
XSB/packages/flora/lib/CVS/Root
XSB/packages/flora/lib/CVS/Repository
XSB/packages/flora/lib/CVS/Entries
@@ -1018,11 +903,10 @@ XSB/packages/gap/CVS/Entries
XSB/packages/gap/CVS/Tag
XSB/packages/gap/.cvsignore
XSB/packages/gap/Makefile
-XSB/packages/gap/README
XSB/packages/gap/gapaux.P
XSB/packages/gap/gapexamps.P
XSB/packages/gap/gapmeta.P
-XSB/packages/gap/gapmeta.O
+XSB/packages/gap/README
XSB/packages/xmc.O
XSB/packages/xmc.H
XSB/packages/xmc.P
@@ -1073,7 +957,6 @@ XSB/build/gppMakefile.in
XSB/build/makexsb.in
XSB/build/modMakefile.in
XSB/build/private_builtin.in
-XSB/build/register.sh.orig
XSB/build/smoMakefile.in
XSB/build/topMakefile.in
XSB/build/wxsb.in
@@ -1083,6 +966,7 @@ XSB/build/xsb.in
XSB/build/xsb_configuration.in
XSB/build/xsb_configuration_wind.in
XSB/build/config.guess
+XSB/build/config.guess.orig
XSB/build/config.sub
XSB/build/MSVC.sh
XSB/build/clean_pkgs.sh
@@ -1102,10 +986,11 @@ XSB/build/configure.in.orig
XSB/build/makexsb.in.orig
XSB/build/topMakefile.in.orig
XSB/build/config.log
+XSB/build/register.sh.orig
XSB/build/.apkgs.tmp
XSB/build/config.status
-XSB/build/makexsb
XSB/build/Installation_summary
+XSB/build/makexsb
XSB/build/.xsb_cmplib_warn.tmp
XSB/build/.xsb_syslib_warn.tmp
XSB/build/acconfig.h
@@ -1159,6 +1044,9 @@ XSB/emu/chatsched_xsb_i.h
XSB/emu/choice.h
XSB/emu/cinterf.c
XSB/emu/cinterf.h
+XSB/emu/complete_local.h
+XSB/emu/com_0002fxsb_0002finterprolog_0002fNativeEngine.h
+XSB/emu/com_xsb_interprolog_NativeEngine.h
XSB/emu/complete_xsb_i.h
XSB/emu/conget_xsb_i.h
XSB/emu/cut_xsb.h
@@ -1183,10 +1071,14 @@ XSB/emu/export.h
XSB/emu/file_modes_xsb.h
XSB/emu/findall.c
XSB/emu/findall.h
-XSB/emu/proc.mk
XSB/emu/flag_defs_xsb.h
XSB/emu/flags_xsb.h
XSB/emu/function.c
+XSB/emu/gc_copy.h
+XSB/emu/gc_mark.h
+XSB/emu/gc_print.h
+XSB/emu/gc_profile.h
+XSB/emu/gc_slide.h
XSB/emu/hash_xsb.c
XSB/emu/hash_xsb.h
XSB/emu/heap_defs_xsb.h
@@ -1195,19 +1087,22 @@ XSB/emu/heap_xsb.h
XSB/emu/init_xsb.c
XSB/emu/inst_xsb.c
XSB/emu/inst_xsb.h
+XSB/emu/interprolog_xsb.h
+XSB/emu/io_defs_xsb.h
+XSB/emu/interprolog_callback.c
+XSB/emu/interprolog_xsb_i.h
XSB/emu/io_builtins_xsb.c
XSB/emu/io_builtins_xsb.h
XSB/emu/io_builtins_xsb_i.h
-XSB/emu/io_defs_xsb.h
XSB/emu/loader_xsb.c
XSB/emu/loader_xsb.h
XSB/emu/macro_xsb.h
XSB/emu/main_xsb.c
XSB/emu/memory_xsb.c
XSB/emu/memory_xsb.h
+XSB/emu/odbc_string.h
XSB/emu/odbc_xsb.c
XSB/emu/odbc_xsb.h
-XSB/emu/odbc_string.h
XSB/emu/odbc_xsb_i.h
XSB/emu/oracle_xsb.h
XSB/emu/oracle_xsb_i.h
@@ -1217,6 +1112,7 @@ XSB/emu/orient_xsb.c
XSB/emu/orient_xsb.h
XSB/emu/pathname_xsb.c
XSB/emu/private_builtin.c
+XSB/emu/proc.mk
XSB/emu/psc_defs.h
XSB/emu/psc_xsb.c
XSB/emu/psc_xsb.h
@@ -1225,18 +1121,20 @@ XSB/emu/random_xsb.c
XSB/emu/random_xsb.h
XSB/emu/realloc.h
XSB/emu/register.h
+XSB/emu/remove_unf.c
+XSB/emu/remove_unf.h
XSB/emu/residual.c
XSB/emu/residual.h
XSB/emu/scc_xsb.c
XSB/emu/scc_xsb.h
-XSB/emu/sig_xsb.h
XSB/emu/schedrev_xsb_i.h
XSB/emu/setjmp_xsb.h
+XSB/emu/sig_xsb.h
XSB/emu/slgdelay.c
XSB/emu/slgdelay.h
XSB/emu/slginsts_xsb_i.h
-XSB/emu/socket_defs_xsb.h
XSB/emu/socket_xsb.c
+XSB/emu/socket_defs_xsb.h
XSB/emu/socket_xsb.h
XSB/emu/sp_unify_xsb_i.h
XSB/emu/sql.h
@@ -1244,6 +1142,9 @@ XSB/emu/sqlext.h
XSB/emu/sqltypes.h
XSB/emu/std_cases_xsb_i.h
XSB/emu/std_pred_xsb_i.h
+XSB/emu/storage_xsb.c
+XSB/emu/storage_xsb.h
+XSB/emu/storage_xsb_defs.h
XSB/emu/string_xsb.c
XSB/emu/struct_manager.c
XSB/emu/struct_manager.h
@@ -1253,6 +1154,7 @@ XSB/emu/subinst.h
XSB/emu/subp.c
XSB/emu/subp.h
XSB/emu/sw_envs.h
+XSB/emu/tries.c
XSB/emu/syscall_xsb.h
XSB/emu/system_defs_xsb.h
XSB/emu/system_xsb.c
@@ -1275,10 +1177,9 @@ XSB/emu/tr_delay.h
XSB/emu/tr_utils.c
XSB/emu/tr_utils.h
XSB/emu/trace_xsb.c
-XSB/emu/trassert.h
-XSB/emu/trie_internals.h
XSB/emu/trie_lookup.c
-XSB/emu/tries.c
+XSB/emu/trie_internals.h
+XSB/emu/trie_search.c
XSB/emu/tries.h
XSB/emu/tst_aux.h
XSB/emu/tst_insert.c
@@ -1294,16 +1195,19 @@ XSB/emu/wfs_xsb_i.h
XSB/emu/wind2unix.h
XSB/emu/wsipx.h
XSB/emu/xsb.def
-XSB/emu/xsb_time.h
XSB/emu/xsb_inst_list.h
-XSB/emu/trie_search.c
-XSB/emu/README
+XSB/emu/xsb_time.h
+XSB/emu/trassert.h
XSB/emu/.cvsignore
XSB/emu/CODING_GUIDELINES
+XSB/emu/README
+XSB/syslib/CVS/Root
+XSB/syslib/CVS/Repository
+XSB/syslib/CVS/Entries
+XSB/syslib/CVS/Tag
XSB/syslib/objfiles.saved/xcallxsb.O
XSB/syslib/objfiles.saved/atts.O
XSB/syslib/objfiles.saved/basics.O
-XSB/syslib/objfiles.saved/consult.O
XSB/syslib/objfiles.saved/curr_sym.O
XSB/syslib/objfiles.saved/dbclause.O
XSB/syslib/objfiles.saved/dcg.O
@@ -1311,9 +1215,10 @@ XSB/syslib/objfiles.saved/debugger.O
XSB/syslib/objfiles.saved/domain.O
XSB/syslib/objfiles.saved/eval.O
XSB/syslib/objfiles.saved/file_io.O
-XSB/syslib/objfiles.saved/file_op.O
XSB/syslib/objfiles.saved/gensym.O
XSB/syslib/objfiles.saved/hilogsym.O
+XSB/syslib/objfiles.saved/loader.O
+XSB/syslib/objfiles.saved/machine.O
XSB/syslib/objfiles.saved/num_vars.O
XSB/syslib/objfiles.saved/push_io.O
XSB/syslib/objfiles.saved/setof.O
@@ -1323,15 +1228,8 @@ XSB/syslib/objfiles.saved/sysinitrc.O
XSB/syslib/objfiles.saved/tables.O
XSB/syslib/objfiles.saved/term_exp.O
XSB/syslib/objfiles.saved/unix.O
-XSB/syslib/objfiles.saved/x_interp.O
XSB/syslib/objfiles.saved/xsb_hook.O
-XSB/syslib/objfiles.saved/xsb_read.O
-XSB/syslib/objfiles.saved/xsb_writ.O
XSB/syslib/objfiles.saved/assert.O
-XSB/syslib/CVS/Root
-XSB/syslib/CVS/Repository
-XSB/syslib/CVS/Entries
-XSB/syslib/CVS/Tag
XSB/syslib/CompileChangedFiles.sh
XSB/syslib/Makefile
XSB/syslib/README
@@ -1406,8 +1304,8 @@ XSB/syslib/string.O
XSB/syslib/string.P
XSB/syslib/subsumes.H
XSB/syslib/subsumes.O
-XSB/syslib/unix.O
XSB/syslib/subsumes.P
+XSB/syslib/unix.O
XSB/syslib/sysinitrc.O
XSB/syslib/sysinitrc.P
XSB/syslib/tables.H
@@ -1420,7 +1318,6 @@ XSB/syslib/unix.P
XSB/syslib/x_interp.H
XSB/syslib/x_interp.O
XSB/syslib/x_interp.P
-XSB/syslib/xcallxsb.H
XSB/syslib/xcallxsb.O
XSB/syslib/xcallxsb.P
XSB/syslib/xsb_hook.H
@@ -1432,13 +1329,13 @@ XSB/syslib/xsb_read.P
XSB/syslib/xsb_writ.H
XSB/syslib/xsb_writ.O
XSB/syslib/xsb_writ.P
+XSB/syslib/xcallxsb.H
XSB/syslib/.cvsignore
XSB/cmplib/objfiles.saved/writeasm.O
XSB/cmplib/objfiles.saved/asm_inst.O
XSB/cmplib/objfiles.saved/asm_opt.O
XSB/cmplib/objfiles.saved/asmpass2.O
XSB/cmplib/objfiles.saved/auxlry.O
-XSB/cmplib/objfiles.saved/compile.O
XSB/cmplib/objfiles.saved/config.O
XSB/cmplib/objfiles.saved/cp_opt.O
XSB/cmplib/objfiles.saved/cutcheck.O
@@ -1448,7 +1345,6 @@ XSB/cmplib/objfiles.saved/listutil.O
XSB/cmplib/objfiles.saved/makemode.O
XSB/cmplib/objfiles.saved/modeinf.O
XSB/cmplib/objfiles.saved/modes.O
-XSB/cmplib/objfiles.saved/parse.O
XSB/cmplib/objfiles.saved/peephole.O
XSB/cmplib/objfiles.saved/pre_cond.O
XSB/cmplib/objfiles.saved/preproc.O
@@ -1459,16 +1355,14 @@ XSB/cmplib/objfiles.saved/singlton.O
XSB/cmplib/objfiles.saved/spec.O
XSB/cmplib/objfiles.saved/suppltab.O
XSB/cmplib/objfiles.saved/symtab.O
+XSB/cmplib/objfiles.saved/tprog.O
XSB/cmplib/objfiles.saved/tabdef.O
XSB/cmplib/objfiles.saved/ti_mod.O
XSB/cmplib/objfiles.saved/tp_comp.O
XSB/cmplib/objfiles.saved/tp_cond.O
-XSB/cmplib/objfiles.saved/tp_eval.O
XSB/cmplib/objfiles.saved/tp_goal.O
XSB/cmplib/objfiles.saved/tp_index.O
-XSB/cmplib/objfiles.saved/tp_var.O
XSB/cmplib/objfiles.saved/tpinline.O
-XSB/cmplib/objfiles.saved/tprog.O
XSB/cmplib/objfiles.saved/useinfer.O
XSB/cmplib/objfiles.saved/varproc.O
XSB/cmplib/objfiles.saved/asm.O
@@ -1603,6 +1497,7 @@ XSB/cmplib/tp_comp.P
XSB/cmplib/tp_cond.D
XSB/cmplib/tp_cond.H
XSB/cmplib/tp_cond.O
+XSB/cmplib/tprog.D
XSB/cmplib/tp_cond.P
XSB/cmplib/tp_eval.D
XSB/cmplib/tp_eval.H
@@ -1624,7 +1519,6 @@ XSB/cmplib/tpinline.D
XSB/cmplib/tpinline.H
XSB/cmplib/tpinline.O
XSB/cmplib/tpinline.P
-XSB/cmplib/tprog.D
XSB/cmplib/tprog.H
XSB/cmplib/tprog.O
XSB/cmplib/tprog.P
@@ -1645,7 +1539,6 @@ XSB/lib/CVS/Root
XSB/lib/CVS/Repository
XSB/lib/CVS/Entries
XSB/lib/CVS/Tag
-XSB/lib/packaging.O
XSB/lib/.cvsignore
XSB/lib/Makefile
XSB/lib/README
@@ -1687,6 +1580,7 @@ XSB/lib/write_term.P
XSB/lib/xnmr.H
XSB/lib/xnmr.P
XSB/lib/xsb_ciao.P
+XSB/lib/packaging.O
XSB/lib/aggregs.O
XSB/lib/array.O
XSB/lib/array1.O
@@ -1725,6 +1619,7 @@ XSB/Makefile.orig
XSB/INSTALL_PROBLEMS
XSB/INSTALL
XSB/Makefile
+share/xsb
@exec mkdir %D/XSB/site
@exec mkdir %D/XSB/site/lib
@@ -1732,164 +1627,166 @@ XSB/Makefile
@exec mkdir %D/XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%
@exec mkdir %D/XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib
-@dirrm XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib
-@dirrm XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%
-@dirrm XSB/site/config
-@dirrm XSB/site/lib
-@dirrm XSB/site
-@dirrm XSB/gpp/CVS
-@dirrm XSB/gpp
-@dirrm XSB/lib/CVS
-@dirrm XSB/lib
-@dirrm XSB/cmplib/CVS
-@dirrm XSB/cmplib/objfiles.saved
-@dirrm XSB/cmplib
-@dirrm XSB/syslib/CVS
-@dirrm XSB/syslib/objfiles.saved
-@dirrm XSB/syslib
-@dirrm XSB/emu/orastuff/CVS
-@dirrm XSB/emu/orastuff
-@dirrm XSB/emu/debugs/CVS
-@dirrm XSB/emu/debugs
-@dirrm XSB/emu/CVS
-@dirrm XSB/emu/dde/CVS
-@dirrm XSB/emu/dde
-@dirrm XSB/emu
-@dirrm XSB/build
-@dirrm XSB/prolog_includes/CVS
-@dirrm XSB/prolog_includes
-@dirrm XSB/packages/gap/CVS
-@dirrm XSB/packages/gap
-@dirrm XSB/packages/flora/syslib/CVS
-@dirrm XSB/packages/flora/syslib
-@dirrm XSB/packages/flora/docs/CVS
-@dirrm XSB/packages/flora/docs
-@dirrm XSB/packages/flora/emacs/CVS
-@dirrm XSB/packages/flora/emacs
-@dirrm XSB/packages/flora/homepage/CVS
-@dirrm XSB/packages/flora/homepage
-@dirrm XSB/packages/flora/includes/CVS
-@dirrm XSB/packages/flora/includes
-@dirrm XSB/packages/flora/demos/CVS
-@dirrm XSB/packages/flora/demos
-@dirrm XSB/packages/flora/p2h/CVS
-@dirrm XSB/packages/flora/p2h
-@dirrm XSB/packages/flora/pkgs/CVS
-@dirrm XSB/packages/flora/pkgs
-@dirrm XSB/packages/flora/CVS
-@dirrm XSB/packages/flora/closure/CVS
-@dirrm XSB/packages/flora/closure
-@dirrm XSB/packages/flora/lib/CVS
-@dirrm XSB/packages/flora/lib
-@dirrm XSB/packages/flora
+@dirrm XSB/etc/CVS
+@dirrm XSB/etc/images/CVS
+@dirrm XSB/etc/images
+@dirrm XSB/etc
+@dirrm XSB/bin
+@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib
+@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o
+@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/bin
+@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%
+@dirrm XSB/config
+@dirrm XSB/examples/c_calling_XSB/CVS
+@dirrm XSB/examples/c_calling_XSB
+@dirrm XSB/examples/CVS
+@dirrm XSB/examples/XSB_calling_c/CVS
+@dirrm XSB/examples/XSB_calling_c
+@dirrm XSB/examples/xmc/Rether/CVS
+@dirrm XSB/examples/xmc/Rether
+@dirrm XSB/examples/xmc/ABP/CVS
+@dirrm XSB/examples/xmc/ABP
+@dirrm XSB/examples/xmc/Tests/CVS
+@dirrm XSB/examples/xmc/Tests
+@dirrm XSB/examples/xmc/Sieve/CVS
+@dirrm XSB/examples/xmc/Sieve
+@dirrm XSB/examples/xmc/Leader/CVS
+@dirrm XSB/examples/xmc/Leader
+@dirrm XSB/examples/xmc/Needham/CVS
+@dirrm XSB/examples/xmc/Needham
+@dirrm XSB/examples/xmc/Metalock/CVS
+@dirrm XSB/examples/xmc/Metalock
+@dirrm XSB/examples/xmc/CVS
+@dirrm XSB/examples/xmc/Iproto/CVS
+@dirrm XSB/examples/xmc/Iproto
+@dirrm XSB/examples/xmc
+@dirrm XSB/examples/libwww/CVS
+@dirrm XSB/examples/libwww/files/CVS
+@dirrm XSB/examples/libwww/files
+@dirrm XSB/examples/libwww
+@dirrm XSB/examples/socket/select/CVS
+@dirrm XSB/examples/socket/select
+@dirrm XSB/examples/socket/CVS
+@dirrm XSB/examples/socket
+@dirrm XSB/examples/subprocess/CVS
+@dirrm XSB/examples/subprocess
+@dirrm XSB/examples
+@dirrm XSB/docs/userman
+@dirrm XSB/docs
+@dirrm XSB/packages/regmatch/CVS
+@dirrm XSB/packages/regmatch/cc/CVS
+@dirrm XSB/packages/regmatch/cc
+@dirrm XSB/packages/regmatch
+@dirrm XSB/packages/xsbdoc/CVS
+@dirrm XSB/packages/xsbdoc
+@dirrm XSB/packages/xmc/GUI/CVS
+@dirrm XSB/packages/xmc/GUI
+@dirrm XSB/packages/xmc/CVS
+@dirrm XSB/packages/xmc
+@dirrm XSB/packages/wildmatch/CVS
+@dirrm XSB/packages/wildmatch/cc/CVS
+@dirrm XSB/packages/wildmatch/cc
+@dirrm XSB/packages/wildmatch
+@dirrm XSB/packages/slx/CVS
+@dirrm XSB/packages/slx
+@dirrm XSB/packages/sModels/CVS
+@dirrm XSB/packages/sModels
+@dirrm XSB/packages/clpqr/CVS
+@dirrm XSB/packages/clpqr
+@dirrm XSB/packages/perlmatch/CVS
+@dirrm XSB/packages/perlmatch/cc/CVS
+@dirrm XSB/packages/perlmatch/cc
+@dirrm XSB/packages/perlmatch
+@dirrm XSB/packages/libwww/cc/CVS
+@dirrm XSB/packages/libwww/cc
+@dirrm XSB/packages/libwww/CVS
+@dirrm XSB/packages/libwww
+@dirrm XSB/packages/CVS
+@dirrm XSB/packages/flora2/headerinc/CVS
+@dirrm XSB/packages/flora2/headerinc
@dirrm XSB/packages/flora2/CVS
@dirrm XSB/packages/flora2/demos/CVS
@dirrm XSB/packages/flora2/demos
-@dirrm XSB/packages/flora2/trailer/CVS
-@dirrm XSB/packages/flora2/trailer
-@dirrm XSB/packages/flora2/syslibinc/CVS
-@dirrm XSB/packages/flora2/syslibinc
-@dirrm XSB/packages/flora2/syslib/CVS
-@dirrm XSB/packages/flora2/syslib
-@dirrm XSB/packages/flora2/pkgs/CVS
-@dirrm XSB/packages/flora2/pkgs
-@dirrm XSB/packages/flora2/p2h/CVS
-@dirrm XSB/packages/flora2/p2h
-@dirrm XSB/packages/flora2/libinc/CVS
-@dirrm XSB/packages/flora2/libinc
-@dirrm XSB/packages/flora2/closure/CVS
+@dirrm XSB/packages/flora2/debugger/CVS
+@dirrm XSB/packages/flora2/debugger
+@dirrm XSB/packages/flora2/docs/CVS
+@dirrm XSB/packages/flora2/docs
+@dirrm XSB/packages/flora2/emacs/CVS
+@dirrm XSB/packages/flora2/emacs
+@dirrm XSB/packages/flora2/flrincludes/CVS
+@dirrm XSB/packages/flora2/flrincludes
+@dirrm XSB/packages/flora2/genincludes/CVS
+@dirrm XSB/packages/flora2/genincludes
@dirrm XSB/packages/flora2/closure/includes/CVS
@dirrm XSB/packages/flora2/closure/includes
+@dirrm XSB/packages/flora2/closure/CVS
@dirrm XSB/packages/flora2/closure
@dirrm XSB/packages/flora2/includes/CVS
@dirrm XSB/packages/flora2/includes
-@dirrm XSB/packages/flora2/headerinc/CVS
-@dirrm XSB/packages/flora2/headerinc
-@dirrm XSB/packages/flora2/genincludes/CVS
-@dirrm XSB/packages/flora2/genincludes
-@dirrm XSB/packages/flora2/flrincludes/CVS
-@dirrm XSB/packages/flora2/flrincludes
-@dirrm XSB/packages/flora2/emacs/CVS
-@dirrm XSB/packages/flora2/emacs
-@dirrm XSB/packages/flora2/docs/CVS
-@dirrm XSB/packages/flora2/docs
-@dirrm XSB/packages/flora2/debugger/CVS
-@dirrm XSB/packages/flora2/debugger
@dirrm XSB/packages/flora2/lib/CVS
@dirrm XSB/packages/flora2/lib
+@dirrm XSB/packages/flora2/libinc/CVS
+@dirrm XSB/packages/flora2/libinc
+@dirrm XSB/packages/flora2/p2h/CVS
+@dirrm XSB/packages/flora2/p2h
+@dirrm XSB/packages/flora2/pkgs/CVS
+@dirrm XSB/packages/flora2/pkgs
+@dirrm XSB/packages/flora2/syslib/CVS
+@dirrm XSB/packages/flora2/syslib
+@dirrm XSB/packages/flora2/syslibinc/CVS
+@dirrm XSB/packages/flora2/syslibinc
+@dirrm XSB/packages/flora2/trailer/CVS
+@dirrm XSB/packages/flora2/trailer
@dirrm XSB/packages/flora2
-@dirrm XSB/packages/CVS
-@dirrm XSB/packages/libwww/CVS
-@dirrm XSB/packages/libwww/cc/CVS
-@dirrm XSB/packages/libwww/cc
-@dirrm XSB/packages/libwww
-@dirrm XSB/packages/perlmatch/CVS
-@dirrm XSB/packages/perlmatch/cc/CVS
-@dirrm XSB/packages/perlmatch/cc
-@dirrm XSB/packages/perlmatch
-@dirrm XSB/packages/clpqr/CVS
-@dirrm XSB/packages/clpqr
-@dirrm XSB/packages/sModels/CVS
-@dirrm XSB/packages/sModels
-@dirrm XSB/packages/slx/CVS
-@dirrm XSB/packages/slx
-@dirrm XSB/packages/wildmatch/cc/CVS
-@dirrm XSB/packages/wildmatch/cc
-@dirrm XSB/packages/wildmatch/CVS
-@dirrm XSB/packages/wildmatch
-@dirrm XSB/packages/xmc/CVS
-@dirrm XSB/packages/xmc/GUI/CVS
-@dirrm XSB/packages/xmc/GUI
-@dirrm XSB/packages/xmc
-@dirrm XSB/packages/xsbdoc/CVS
-@dirrm XSB/packages/xsbdoc
-@dirrm XSB/packages/regmatch/cc/CVS
-@dirrm XSB/packages/regmatch/cc
-@dirrm XSB/packages/regmatch/CVS
-@dirrm XSB/packages/regmatch
+@dirrm XSB/packages/flora/lib/CVS
+@dirrm XSB/packages/flora/lib
+@dirrm XSB/packages/flora/closure/CVS
+@dirrm XSB/packages/flora/closure
+@dirrm XSB/packages/flora/CVS
+@dirrm XSB/packages/flora/pkgs/CVS
+@dirrm XSB/packages/flora/pkgs
+@dirrm XSB/packages/flora/p2h/CVS
+@dirrm XSB/packages/flora/p2h
+@dirrm XSB/packages/flora/demos/CVS
+@dirrm XSB/packages/flora/demos
+@dirrm XSB/packages/flora/includes/CVS
+@dirrm XSB/packages/flora/includes
+@dirrm XSB/packages/flora/homepage/CVS
+@dirrm XSB/packages/flora/homepage
+@dirrm XSB/packages/flora/emacs/CVS
+@dirrm XSB/packages/flora/emacs
+@dirrm XSB/packages/flora/docs/CVS
+@dirrm XSB/packages/flora/docs
+@dirrm XSB/packages/flora/syslib/CVS
+@dirrm XSB/packages/flora/syslib
+@dirrm XSB/packages/flora
+@dirrm XSB/packages/gap/CVS
+@dirrm XSB/packages/gap
@dirrm XSB/packages
-@dirrm XSB/docs/userman
-@dirrm XSB/docs
-@dirrm XSB/examples/subprocess/CVS
-@dirrm XSB/examples/subprocess
-@dirrm XSB/examples/socket/CVS
-@dirrm XSB/examples/socket/select/CVS
-@dirrm XSB/examples/socket/select
-@dirrm XSB/examples/socket
-@dirrm XSB/examples/libwww/files/CVS
-@dirrm XSB/examples/libwww/files
-@dirrm XSB/examples/libwww/CVS
-@dirrm XSB/examples/libwww
-@dirrm XSB/examples/xmc/Tests/CVS
-@dirrm XSB/examples/xmc/Tests
-@dirrm XSB/examples/xmc/Leader/CVS
-@dirrm XSB/examples/xmc/Leader
-@dirrm XSB/examples/xmc/Metalock/CVS
-@dirrm XSB/examples/xmc/Metalock
-@dirrm XSB/examples/xmc/Rether/CVS
-@dirrm XSB/examples/xmc/Rether
-@dirrm XSB/examples/xmc/Iproto/CVS
-@dirrm XSB/examples/xmc/Iproto
-@dirrm XSB/examples/xmc/CVS
-@dirrm XSB/examples/xmc/ABP/CVS
-@dirrm XSB/examples/xmc/ABP
-@dirrm XSB/examples/xmc/Sieve/CVS
-@dirrm XSB/examples/xmc/Sieve
-@dirrm XSB/examples/xmc
-@dirrm XSB/examples/XSB_calling_c/CVS
-@dirrm XSB/examples/XSB_calling_c
-@dirrm XSB/examples/CVS
-@dirrm XSB/examples/c_calling_XSB/CVS
-@dirrm XSB/examples/c_calling_XSB
-@dirrm XSB/examples
-@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/bin
-@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/saved.o
-@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib
-@dirrm XSB/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%
-@dirrm XSB/config
-@dirrm XSB/bin
-@dirrm XSB/etc/images/CVS
-@dirrm XSB/etc/images
-@dirrm XSB/etc/CVS
-@dirrm XSB/etc
+@dirrm XSB/prolog_includes/CVS
+@dirrm XSB/prolog_includes
+@dirrm XSB/build
+@dirrm XSB/emu/dde/CVS
+@dirrm XSB/emu/dde
+@dirrm XSB/emu/CVS
+@dirrm XSB/emu/debugs/CVS
+@dirrm XSB/emu/debugs
+@dirrm XSB/emu/orastuff/CVS
+@dirrm XSB/emu/orastuff
+@dirrm XSB/emu
+@dirrm XSB/syslib/CVS
+@dirrm XSB/syslib/objfiles.saved
+@dirrm XSB/syslib
+@dirrm XSB/cmplib/objfiles.saved
+@dirrm XSB/cmplib/CVS
+@dirrm XSB/cmplib
+@dirrm XSB/lib/CVS
+@dirrm XSB/lib
+@dirrm XSB/gpp/CVS
+@dirrm XSB/gpp
+@dirrm XSB/site/lib
+@dirrm XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%/lib
+@dirrm XSB/site/config/%%MACHINE_ARCH%%-unknown-%%OPSYS%%%%OSREL%%
+@dirrm XSB/site/config
+@dirrm XSB/site
@dirrm XSB
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 05:04:35 +0000