XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Src (SVN)-old Commit Log

Commit	Date
[r900] by cbaoqiu Added statistics information for DEs and DLs.	1999-06-18 18:21:24	Tree
[r899] by kifer Added queries.	1999-06-18 06:36:13	Tree
[r898] by kifer improved bootstrapping of flora	1999-06-18 06:35:46	Tree
[r897] by kifer The new Flora testsuite. Not functional yet, because of the XSB bugs.	1999-06-18 06:33:10	Tree
[r896] by kifer Added ./ in front of gentest, so it won't depend on weird PATHs	1999-06-18 06:31:14	Tree
[r895] by kifer Tidied up imports.	1999-06-17 20:19:17	Tree
[r894] by kifer Fixed problems with reading command goal. Now you can have several queries on the same command line.	1999-06-17 20:11:40	Tree
[r893] by kifer Fixed problems with bootstrapping flora.	1999-06-17 20:10:10	Tree
[r892] by kifer Added a query	1999-06-17 19:29:26	Tree
[r891] by kostis Modified the top-level not to print variables starting with an underscore.	1999-06-17 18:34:10	Tree

Older >