Index of /Software/XSB/build

	Name	Last modified	Size	Description
	Parent Directory		-
	Installation_summary	2012-11-01 12:13	12K
	MSVC.sed	2012-11-01 12:13	549
	MSVC.sh	2012-11-01 12:13	818
	MSVC_mkfile.in	2012-11-01 12:13	13K
	acconfig.h	2012-11-01 12:13	7.7K
	aclocal.m4	2012-11-01 12:13	10K
	banner.in	2012-11-01 12:13	195
	chr_pp.in	2012-11-01 12:13	2.0K
	clean_pkgs.sh	2012-11-01 12:13	1.5K
	config.guess	2012-11-01 12:13	43K
	config.log	2012-11-01 12:13	8.4K
	config.status	2012-11-01 12:13	22K
	config.sub	2012-11-01 12:13	26K
	configure	2012-11-01 12:13	140K
	configure.in	2012-11-01 12:13	60K
	copysubdirs.sh	2012-11-01 12:13	2.0K
	def_config.in	2012-11-01 12:13	6.2K
	def_config_mnoc.in	2012-11-01 12:13	8.9K
	def_config_wind.in	2012-11-01 12:13	3.4K
	def_debug.in	2012-11-01 12:13	430
	emuMakefile.in	2012-11-01 12:13	8.7K
	extensions_xsb.in	2012-11-01 12:13	1.8K
	gppMakefile.in	2012-11-01 12:13	1.6K
	install-sh	2012-11-01 12:13	5.5K
	makedef.sh.in	2012-11-01 12:13	618
	makexsb	2012-11-01 12:13	2.5K
	makexsb.in	2012-11-01 12:13	2.4K
	makexsb_wind.bat	2012-11-01 12:13	711
	modMakefile.in	2012-11-01 12:13	2.3K
	odbc/	2012-11-01 12:13	-
	pkg_config.sh	2012-11-01 12:13	388
	private_builtin.in	2012-11-01 12:13	3.3K
	register.sh	2012-11-01 12:13	942
	registration.msg	2012-11-01 12:13	69
	sendlog.msg	2012-11-01 12:13	33
	smoMakefile.in	2012-11-01 12:13	2.0K
	strip.sh	2012-11-01 12:13	107
	topMakefile.in	2012-11-01 12:13	17K
	touch.sh	2012-11-01 12:13	333
	version.sh	2012-11-01 12:13	537
	wxsb.in	2012-11-01 12:13	244
	xmc-gui.in	2012-11-01 12:13	231
	xmc.in	2012-11-01 12:13	1.3K
	xsb-win.nsi	2012-11-01 12:13	14K
	xsb.ico	2012-11-01 12:13	766
	xsb.in	2012-11-01 12:13	4.0K
	xsb_configuration.in	2012-11-01 12:13	7.2K
	xsb_configuration_wind.in	2012-11-01 12:13	7.5K